#48097: Upgrade coq to 8.4pl6 -- maintainer patch enclosed ---------------------------------+-------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Keywords: haspatch maintainer | Port: coq ---------------------------------+-------------------------------- Please upgrade coq to 8.4pl6. I'm the port maintainer and have enclosed a patch for the portfile. The patch only bumps the version number and the checksum, nothing else is needed. -- Ticket URL: <https://trac.macports.org/ticket/48097> MacPorts <https://www.macports.org/> Ports system for OS X