push version number
update version number in cabal freeze