source: trunk/dports/lang/coq @ 136972

Name Size Rev Age Author Last Change
../
files 128897   5 years ionic coq: update to 8.4pl5. maintainer upload. fixes #46062.
Portfile 2.2 KB 128897   5 years ionic coq: update to 8.4pl5. maintainer upload. fixes #46062.
Note: See TracBrowser for help on using the repository browser.