[MacPorts] #52843: Upgrade coq to 8.5pl3

[MacPorts]

#52843: Upgrade coq to 8.5pl3
---------------------------------+--------------------------------
 Reporter:  pmetzger             |      Owner:  macports-tickets@…
     Type:  defect               |     Status:  new
 Priority:  Normal               |  Milestone:
Component:  ports                |    Version:  2.3.4
 Keywords:  haspatch maintainer  |       Port:  coq
---------------------------------+--------------------------------
 Please upgrade coq to 8.5pl3. I am the maintainer, and have included a
 patch, which does nothing but bump the version number and change the
 checksums.

--
Ticket URL: <https://trac.macports.org/ticket/52843>
MacPorts <https://www.macports.org/>
Ports system for macOS