id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port 18536,Upgrade to Coq 8.2,wss@…,alakazam@…,"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.",update,closed,Normal,,ports,1.7.0,fixed,,,coq