#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