[MacPorts] #52843: coq @8.5pl2: update to 8.5pl3

[MacPorts]

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

 * status:  accepted => closed
 * resolution:   => fixed


Comment:

 In [changeset:"0da44e8bb2312cac721c592176d3fc7678a3eb82/macports-ports"
 0da44e8/macports-ports]:
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="0da44e8bb2312cac721c592176d3fc7678a3eb82"
 coq: Update to 8.5pl3

 Closes: https://trac.macports.org/ticket/52843
 }}}

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