#51229: Update coq to 8.5pl1 -- maintainer patch enclosed ----------------------+--------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: Resolution: | Keywords: haspatch maintainer Port: coq | ----------------------+--------------------------------- Changes (by mf2k@…): * version: 2.3.4 => Old description:
Update coq to 8.5p1. No changes other than the version number and checksum.
New description: Update coq to 8.5pl1. No changes other than the version number and checksum. -- -- Ticket URL: <https://trac.macports.org/ticket/51229#comment:6> MacPorts <https://www.macports.org/> Ports system for OS X