[MacPorts] #37425: Patch to upgrade Coq to 8.4pl1
MacPorts
noreply at macports.org
Fri Dec 28 12:14:42 PST 2012
#37425: Patch to upgrade Coq to 8.4pl1
---------------------+--------------------------------
Reporter: perry@… | Owner: macports-tickets@…
Type: update | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.1.2
Keywords: | Port: coq
---------------------+--------------------------------
Enclosed please find a patch to:
1) Upgrade Coq to 8.4pl1
2) Remove the no longer needed dependency on OCaml3
--
Ticket URL: <https://trac.macports.org/ticket/37425>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list