pushed new hackage version