Coq has moved to github for releases, and the form of the release url I need to produce is:
https://github.com/coq/coq/archive/V8.7.1.tar.gz What "github.setup" magic do I need for this? If I do github.setup coq coq 8.7.1 it tries to get https://github.com/coq/coq/tarball/8.7.1/coq-8.7.1.tar.gz which isn't what I need. (And I wish I understood the github portgroup stuff better. :( ) Perry -- Perry E. Metzger [email protected]
