Workaround for hackage-server currently not accepting hackage-cli user-agent#79
Closed
andreasabel wants to merge 1 commit into
Closed
Workaround for hackage-server currently not accepting hackage-cli user-agent#79andreasabel wants to merge 1 commit into
andreasabel wants to merge 1 commit into
