[MacPorts] #41877: Upgrade coq to 8.4pl3
#41877: Upgrade coq to 8.4pl3 ---------------------------------+-------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Keywords: haspatch maintainer | Port: coq ---------------------------------+-------------------------------- The enclosed patch will upgrade coq to 8.4pl3 -- Ticket URL: <https://trac.macports.org/ticket/41877> MacPorts <http://www.macports.org/> Ports system for OS X
#41877: coq @8.4pl2_1: update to 8.4pl3 ----------------------+---------------------- Reporter: perry@… | Owner: larryv@… Type: update | Status: assigned Priority: Normal | Milestone: Component: ports | Version: Resolution: | Keywords: haspatch Port: coq | ----------------------+---------------------- Changes (by larryv@…): * owner: macports-tickets@… => larryv@… * status: new => assigned * version: 2.2.1 => * keywords: haspatch maintainer => haspatch Comment: Thanks. This port doesn’t currently have a maintainer; would you be interested in volunteering? -- Ticket URL: <https://trac.macports.org/ticket/41877#comment:1> MacPorts <http://www.macports.org/> Ports system for OS X
#41877: coq @8.4pl2_1: update to 8.4pl3 ----------------------+---------------------- Reporter: perry@… | Owner: larryv@… Type: update | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: fixed | Keywords: haspatch Port: coq | ----------------------+---------------------- Changes (by larryv@…): * status: assigned => closed * resolution: => fixed Comment: The checksums in your patch were incorrect. r115010:115013 -- Ticket URL: <https://trac.macports.org/ticket/41877#comment:2> MacPorts <http://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts