[MacPorts] #50428: Update coq to 8.5 -- maintainer patch enclosed
MacPorts
noreply at macports.org
Sun Jan 24 11:25:03 PST 2016
#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
More information about the macports-tickets
mailing list