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 > > 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. :( )
It seems that simply doing github.setup coq coq 8.7.1 V works. Though I wish I understood the magic going on with github's URLs better. BTW, does the github portgroup handle "livecheck" automatically or does one still need to do that "by hand"? Perry -- Perry E. Metzger [email protected]
