[MacPorts] #18536: Upgrade to Coq 8.2
#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
#18536: Upgrade to Coq 8.2 -------------------------------+-------------------------------------------- Reporter: wss@… | Owner: reilles@… Type: enhancement | Status: new Priority: Normal | Milestone: Port Updates Component: ports | Version: 1.7.0 Keywords: | Port: coq -------------------------------+-------------------------------------------- Changes (by macsforever2000@…): * cc: wss@… (removed) * owner: macports-tickets@… => reilles@… * port: => coq -- Ticket URL: <http://trac.macports.org/ticket/18536#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#18536: Upgrade to Coq 8.2 -------------------------------+-------------------------------------------- Reporter: wss@… | Owner: alakazam@… Type: enhancement | Status: assigned Priority: Normal | Milestone: Port Updates Component: ports | Version: 1.7.0 Keywords: | Port: coq -------------------------------+-------------------------------------------- Changes (by alakazam@…): * owner: reilles@… => alakazam@… * status: new => assigned Comment: Per wss' request, I'll commit this update. Since he's provided patches for the recent coq Portfile updates, I've suggested he contact the current maintainer regarding a possible transfer of maintainership. -- Ticket URL: <http://trac.macports.org/ticket/18536#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
#18536: Upgrade to Coq 8.2 --------------------------------+------------------------------------------- Reporter: wss@… | Owner: alakazam@… Type: enhancement | Status: closed Priority: Normal | Milestone: Port Updates Component: ports | Version: 1.7.0 Resolution: fixed | Keywords: Port: coq | --------------------------------+------------------------------------------- Changes (by alakazam@…): * status: assigned => closed * resolution: => fixed Comment: Updated in r47219 (maintainer timeout). -- Ticket URL: <http://trac.macports.org/ticket/18536#comment:4> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts