[MacPorts] #13940: RFE: coq 8.1pl3
MacPorts
noreply at macports.org
Sat May 17 00:50:08 PDT 2008
#13940: RFE: coq 8.1pl3
--------------------------------+-------------------------------------------
Reporter: wss at cs.nott.ac.uk | Owner: ryandesign at macports.org
Type: enhancement | Status: closed
Priority: Normal | Milestone: Port Updates
Component: ports | Version: 1.6.0
Resolution: fixed | Keywords: coq
--------------------------------+-------------------------------------------
Changes (by ryandesign at macports.org):
* status: assigned => closed
* resolution: => fixed
Comment:
Updated to 8.1pl3 in r36889. Thanks for reporting!
--
Ticket URL: <http://trac.macports.org/ticket/13940#comment:4>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list