[MacPorts] #43770: Patch to upgrade Coq to 8.4pl4

[MacPorts]

#43770: Patch to upgrade Coq to 8.4pl4
----------------------+--------------------------------
 Reporter:  perry@…   |      Owner:  macports-tickets@…
     Type:  defect    |     Status:  new
 Priority:  Normal    |  Milestone:
Component:  ports     |    Version:  2.2.1
 Keywords:  haspatch  |       Port:  coq
----------------------+--------------------------------
 Enclosed please find a patch to upgrade Coq to 8.4pl4 -- it only alters
 the version number and the checksums.

 By the way, I'm the person who always submits these upgrade patches and I
 believe someone was supposed to make me the maintainer of the port, though
 that doesn't seem to have happened.

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