https git url for clickable link on Hackage