Set version 0.5.0.hal