[MacPorts] #38696: Please update coq to 8.4pl2

[MacPorts]

#38696: Please update coq to 8.4pl2
---------------------+--------------------------------
 Reporter:  perry@…  |      Owner:  macports-tickets@…
     Type:  update   |     Status:  new
 Priority:  Normal   |  Milestone:
Component:  ports    |    Version:  2.1.3
 Keywords:           |       Port:  coq
---------------------+--------------------------------
 Please update coq to the latest version, 8.4pl2.

 A patch to the Portfile is enclosed.

 Please note that although there is a maintainer listed for this port, they
 haven't touched it in a very long time, and I've been the one submitting
 patches to maintain the port for quite a while now. I've already filed a
 ticket noting that the port seems to be abandoned. See
 https://trac.macports.org/ticket/38042 for the port abandoned ticket.

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