[MacPorts] #51229: Update coq to 8.5p1 -- maintainer patch enclosed

[MacPorts]

#51229: Update coq to 8.5p1 -- maintainer patch enclosed
---------------------------------+--------------------------------
 Reporter:  perry@…              |      Owner:  macports-tickets@…
     Type:  update               |     Status:  new
 Priority:  Normal               |  Milestone:
Component:  ports                |    Version:  2.3.4
 Keywords:  haspatch maintainer  |       Port:  coq
---------------------------------+--------------------------------
 Update coq to 8.5p1. No changes other than the version number and
 checksum.

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