help needed with figuring out an odd github source URL
Perry E. Metzger
perry at piermont.com
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 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 E. Metzger perry at piermont.com
More information about the macports-dev