help needed with figuring out an odd github source URL

Perry E. Metzger perry at
Sun Dec 17 00:08:45 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:

Oddly, if I click on the link in a browser
(see )
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
> which
> isn't what I need.
> (And I wish I understood the github portgroup stuff better. :( )
> Perry

Perry E. Metzger		perry at

More information about the macports-dev mailing list