[MacPorts] #36005: coq: update to 8.4 (was: Please upgrade Coq to 8.4)
MacPorts
noreply at macports.org
Wed Sep 5 17:11:11 PDT 2012
#36005: coq: update to 8.4
--------------------------------+-------------------------------------------
Reporter: perry@… | Owner: reilles@…
Type: update | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.1.2
Keywords: haspatch | Port: coq
--------------------------------+-------------------------------------------
Changes (by ryandesign@…):
* keywords: => haspatch
* owner: macports-tickets@… => reilles@…
Comment:
The revision should drop to zero.
Does this version of coq support ocaml4? if so the dependency should be
updated.
--
Ticket URL: <https://trac.macports.org/ticket/36005#comment:1>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list