#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