[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