help needed with figuring out an odd github source URL

Perry E. Metzger perry at
Sun Dec 17 01:03:13 UTC 2017

On Sat, 16 Dec 2017 19:05:45 -0500 "Perry E. Metzger"
<perry at> wrote:
> Coq has moved to github for releases, and the form of the release
> url I need to produce is:
> What "github.setup" magic do I need for this?
> If I do
>    github.setup        coq coq 8.7.1
> it tries to get
> 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 E. Metzger		perry at

More information about the macports-dev mailing list