[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