use https link to hackage [ci skip]