[MacPorts] #51867: Update coq to 8.5p2 -- maintainer patch enclosed

Mon Jul 18 06:30:32 PDT 2016

#51867: Update coq to 8.5p2 -- maintainer patch enclosed
---------------------------------+--------------------------------
 Reporter:  perry@…              |      Owner:  macports-tickets@…
     Type:  update               |     Status:  new
 Priority:  Normal               |  Milestone:
Component:  ports                |    Version:  2.3.4
 Keywords:  haspatch maintainer  |       Port:  coq
---------------------------------+--------------------------------
 Please upgrade coq to 8.5pl2. I'm the maintainer and have enclosed a
 patch.

-- 
Ticket URL: <https://trac.macports.org/ticket/51867>
MacPorts <https://www.macports.org/>
Ports system for OS X