[MacPorts] #36005: coq: update to 8.4
MacPorts
noreply at macports.org
Tue Sep 11 17:18:45 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
Resolution: | Keywords: haspatch
Port: coq |
----------------------+-----------------------
Comment (by perry@…):
Replying to [comment:1 ryandesign@…]:
> The revision should drop to zero.
>
> Does this version of coq support ocaml4? if so the dependency should be
updated.
So far as I can tell, the ocaml 3 dependency still seems to be correct.
I'll make some inquiries about what the issue is, but could we update the
package in the meanwhile? I've been running it for a while now and it
works very well.
--
Ticket URL: <https://trac.macports.org/ticket/36005#comment:2>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list