[MacPorts] #41877: Upgrade coq to 8.4pl3

[MacPorts]

#41877: Upgrade coq to 8.4pl3
---------------------------------+--------------------------------
 Reporter:  perry@…              |      Owner:  macports-tickets@…
     Type:  update               |     Status:  new
 Priority:  Normal               |  Milestone:
Component:  ports                |    Version:  2.2.1
 Keywords:  haspatch maintainer  |       Port:  coq
---------------------------------+--------------------------------
 The enclosed patch will upgrade coq to 8.4pl3

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