[MacPorts] #13940: RFE: coq 8.1pl3
MacPorts
trac at macosforge.org
Sat Mar 8 18:48:06 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 jmr at macports.org):
* cc: wss at cs.nott.ac.uk (removed)
* cc: reilles at loria.fr (added)
Comment:
Cc maintainer.
--
Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/13940#comment:2>
MacPorts </projects/macports>
Ports system for Mac OS
More information about the macports-tickets
mailing list