#43770: Patch to upgrade Coq to 8.4pl4 ----------------------+-------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Keywords: haspatch | Port: coq ----------------------+-------------------------------- Enclosed please find a patch to upgrade Coq to 8.4pl4 -- it only alters the version number and the checksums. By the way, I'm the person who always submits these upgrade patches and I believe someone was supposed to make me the maintainer of the port, though that doesn't seem to have happened. -- Ticket URL: <https://trac.macports.org/ticket/43770> MacPorts <http://www.macports.org/> Ports system for OS X