[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
Resolution:            |   Keywords:  haspatch maintainer
      Port:  coq       |
-----------------------+---------------------------------
Changes (by pmetzger):

 * Attachment "coq.patch" added.


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