help needed with figuring out an odd github source URL

Perry E. Metzger perry at
Sun Dec 17 00:05:45 UTC 2017

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. :( )

Perry E. Metzger		perry at

More information about the macports-dev mailing list