[MacPorts] #52984: Upgrade camlp5 to 6.17

MacPorts noreply at macports.org
Wed Nov 30 22:29:47 CET 2016


#52984: Upgrade camlp5 to 6.17
-----------------------+----------------------
  Reporter:  pmetzger  |      Owner:
      Type:  update    |     Status:  new
  Priority:  Normal    |  Milestone:
 Component:  ports     |    Version:  2.3.5
Resolution:            |   Keywords:  haspatch
      Port:  camlp5    |
-----------------------+----------------------

Comment (by mf2k):

 Notes:
  - Please use the github portgroup. This will simplify the Portfile.
  - The {{{revision}}} line should be deleted because it starts at 0 when
 increasing the version and that is the default value.

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


More information about the macports-tickets mailing list