[MacPorts] #51867: Update coq to 8.5p2 -- maintainer patch enclosed

#51867: Update coq to 8.5p2 -- maintainer patch enclosed ---------------------------------+-------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Keywords: haspatch maintainer | Port: coq ---------------------------------+-------------------------------- Please upgrade coq to 8.5pl2. I'm the maintainer and have enclosed a patch. -- Ticket URL: <https://trac.macports.org/ticket/51867> MacPorts <https://www.macports.org/> Ports system for OS X