[MacPorts] #48097: Upgrade coq to 8.4pl6 -- maintainer patch enclosed

[MacPorts]

#48097: Upgrade coq to 8.4pl6 -- maintainer patch enclosed
---------------------------------+--------------------------------
 Reporter:  perry@…              |      Owner:  macports-tickets@…
     Type:  update               |     Status:  new
 Priority:  Normal               |  Milestone:
Component:  ports                |    Version:  2.3.3
 Keywords:  haspatch maintainer  |       Port:  coq
---------------------------------+--------------------------------
 Please upgrade coq to 8.4pl6. I'm the port maintainer and have enclosed a
 patch for the portfile. The patch only bumps the version number and the
 checksum, nothing else is needed.

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