On Sat, 16 Dec 2017 19:05:45 -0500 "Perry E. Metzger" <[email protected]> wrote: > 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
Oddly, if I click on the link in a browser (see https://github.com/coq/coq/releases ) although the link is definitely the above, some sort of magic tries to name the file coq-8.7.1.tar.gz, which I _really_ don't understand. > > 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]
