[MacPorts] #32074: Please upgrade Coq to 8.3pl2
#32074: Please upgrade Coq to 8.3pl2 --------------------------------+------------------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.0.3 Keywords: | Port: Coq --------------------------------+------------------------------------------- Coq 8.3pl2 has been out for some time -- the port should probably be updated. -- Ticket URL: <https://trac.macports.org/ticket/32074> MacPorts <http://www.macports.org/> Ports system for Mac OS
#32074: coq: update to 8.3pl2 --------------------------------+------------------------------------------- Reporter: perry@… | Owner: reilles@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: Keywords: | Port: coq --------------------------------+------------------------------------------- Changes (by ryandesign@…): * cc: perry@… (removed) * owner: macports-tickets@… => reilles@… * version: 2.0.3 => * port: Coq => coq -- Ticket URL: <https://trac.macports.org/ticket/32074#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#32074: coq: update to 8.3pl2 --------------------------------+------------------------------------------- Reporter: perry@… | Owner: reilles@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: Keywords: | Port: coq --------------------------------+------------------------------------------- Comment(by perry@…): I've done the upgrade in my own tree -- I am attaching the diff. -- Ticket URL: <https://trac.macports.org/ticket/32074#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
#32074: coq: update to 8.3pl2 --------------------------------+------------------------------------------- Reporter: perry@… | Owner: reilles@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: Keywords: | Port: coq --------------------------------+------------------------------------------- Comment(by perry@…): Any chance of having this patch applied? It is really simple and works fine. -- Ticket URL: <https://trac.macports.org/ticket/32074#comment:4> MacPorts <http://www.macports.org/> Ports system for Mac OS
#32074: coq: update to 8.3pl2 ---------------------------------+------------------------------------------ Reporter: perry@… | Owner: reilles@… Type: update | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: fixed | Keywords: Port: coq | ---------------------------------+------------------------------------------ Changes (by dports@…): * status: new => closed * resolution: => fixed Comment: Applied in r87727 -- Ticket URL: <https://trac.macports.org/ticket/32074#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts