[MacPorts] #13940: RFE: coq 8.1pl3
MacPorts
trac at macosforge.org
Tue Jan 15 21:02:50 PST 2008
#13940: RFE: coq 8.1pl3
--------------------------------+-------------------------------------------
Reporter: wss at cs.nott.ac.uk | Owner: macports-tickets at lists.macosforge.org
Type: enhancement | Status: new
Priority: Normal | Milestone: Port Updates
Component: ports | Version: 1.6.0
Resolution: | Keywords: coq
--------------------------------+-------------------------------------------
Changes (by jmpp at macports.org):
* type: defect => enhancement
* milestone: MacPorts base enhancements => Port Updates
--
Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/13940#comment:1>
MacPorts </projects/macports>
Ports system for Mac OS
More information about the macports-tickets
mailing list