[MacPorts] #52843: coq @8.5pl2: update to 8.5pl3 (was: Upgrade coq to 8.5pl3)

[MacPorts]

#52843: coq @8.5pl2: update to 8.5pl3
-----------------------+---------------------------------
  Reporter:  pmetzger  |      Owner:  larryv
      Type:  update    |     Status:  accepted
  Priority:  Normal    |  Milestone:
 Component:  ports     |    Version:
Resolution:            |   Keywords:  haspatch maintainer
      Port:  coq       |
-----------------------+---------------------------------
Changes (by larryv):

 * owner:  macports-tickets@… => larryv
 * status:  new => accepted
 * version:  2.3.4 =>
 * type:  defect => update


Comment:

 Thanks!

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