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

MacPorts noreply at macports.org
Thu Nov 10 22:34:27 CET 2016


#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



More information about the macports-tickets mailing list