version 0.1.2: fix bug on hfixpoints version 0.1.1: fix dependency on regular version 0.1: initial release