[MacPorts] #13940: RFE: coq 8.1pl3
#13940: RFE: coq 8.1pl3 -------------------------------+-------------------------------------------- Reporter: wss@cs.nott.ac.uk | Owner: macports-tickets@lists.macosforge.org Type: defect | Status: new Priority: Normal | Milestone: MacPorts base enhancements Component: ports | Version: 1.6.0 Keywords: coq | -------------------------------+-------------------------------------------- There's a new version of the coq theorem proving tool out. I've attached a patch that managed to build on my machine. -- Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/13940> MacPorts </projects/macports> Ports system for Mac OS
#13940: RFE: coq 8.1pl3 --------------------------------+------------------------------------------- Reporter: wss@cs.nott.ac.uk | Owner: macports-tickets@lists.macosforge.org Type: enhancement | Status: new Priority: Normal | Milestone: Port Updates Component: ports | Version: 1.6.0 Resolution: | Keywords: coq --------------------------------+------------------------------------------- Changes (by jmpp@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
#13940: RFE: coq 8.1pl3 --------------------------------+------------------------------------------- Reporter: wss@cs.nott.ac.uk | Owner: macports-tickets@lists.macosforge.org Type: enhancement | Status: new Priority: Normal | Milestone: Port Updates Component: ports | Version: 1.6.0 Resolution: | Keywords: coq --------------------------------+------------------------------------------- Changes (by jmr@macports.org): * cc: wss@cs.nott.ac.uk (removed) * cc: reilles@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
participants (1)
-
MacPorts