#19255: coq-8.2 new variant for coqide ----------------------------------------------+----------------------------- Reporter: thomas.hutchinson@… | Owner: reilles@… Type: enhancement | Status: new Priority: Normal | Component: ports Version: 1.7.1 | Keywords: Port: coq | ----------------------------------------------+----------------------------- Comment(by thomas.hutchinson@…): This patch was applied to the Coq port. Please close ticket. -- Ticket URL: <http://trac.macports.org/ticket/19255#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS