[MacPorts] #37425: Patch to upgrade Coq to 8.4pl1

[MacPorts]

#37425: Patch to upgrade Coq to 8.4pl1
---------------------+--------------------------------
 Reporter:  perry@…  |      Owner:  macports-tickets@…
     Type:  update   |     Status:  new
 Priority:  Normal   |  Milestone:
Component:  ports    |    Version:  2.1.2
 Keywords:           |       Port:  coq
---------------------+--------------------------------
 Enclosed please find a patch to:

 1) Upgrade Coq to 8.4pl1
 2) Remove the no longer needed dependency on OCaml3

-- 
Ticket URL: <https://trac.macports.org/ticket/37425>
MacPorts <http://www.macports.org/>
Ports system for Mac OS