#18536: Upgrade to Coq 8.2 -------------------------------+-------------------------------------------- Reporter: wss@… | Owner: macports-tickets@… Type: enhancement | Status: new Priority: Normal | Milestone: Port Updates Component: ports | Version: 1.7.0 Keywords: | Port: -------------------------------+-------------------------------------------- coq version 8.2 has been released recently: http://coq.inria.fr/distrib-eng.html Upgrading the Portfile should be straightforward. I've attached an (untested) patch that should do the trick. -- Ticket URL: <http://trac.macports.org/ticket/18536> MacPorts <http://www.macports.org/> Ports system for Mac OS