[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
#51867: Update coq to 8.5p2 -- maintainer patch enclosed ----------------------+--------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: closed Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Resolution: fixed | Keywords: haspatch maintainer Port: coq | ----------------------+--------------------------------- Changes (by cal@…): * status: new => closed * resolution: => fixed Comment: Thank you for your patch. I have committed it in r150370. -- Ticket URL: <https://trac.macports.org/ticket/51867#comment:1> MacPorts <https://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts