#37425: coq: update to 8.4pl1 ----------------------+----------------------- Reporter: perry@… | Owner: reilles@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Resolution: | Keywords: haspatch Port: coq | ----------------------+----------------------- Description changed by ryandesign@…: Old description:
Enclosed please find a patch to:
1) Upgrade Coq to 8.4pl1 2) Remove the no longer needed dependency on OCaml3
New description: 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#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS