[MacPorts] #50428: Update coq to 8.5 -- maintainer patch enclosed
#50428: Update coq to 8.5 -- maintainer patch enclosed ---------------------+-------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Keywords: | Port: coq ---------------------+-------------------------------- Enclosed find a patch from me (the maintainer) to update Coq to the newly released 8.5 -- Ticket URL: <https://trac.macports.org/ticket/50428> MacPorts <https://www.macports.org/> Ports system for OS X
#50428: Update coq to 8.5 -- maintainer patch enclosed ----------------------+--------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Resolution: | Keywords: haspatch maintainer Port: coq | ----------------------+--------------------------------- Changes (by ionic@…): * keywords: => haspatch maintainer -- Ticket URL: <https://trac.macports.org/ticket/50428#comment:1> MacPorts <https://www.macports.org/> Ports system for OS X
#50428: Update coq to 8.5 -- 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 khindenburg@…): * status: new => closed * resolution: => fixed Comment: done r145061 -- Ticket URL: <https://trac.macports.org/ticket/50428#comment:3> MacPorts <https://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts