[MacPorts] #52984: Upgrade camlp5 to 6.17
MacPorts
noreply at macports.org
Wed Nov 30 22:46:28 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 |
-----------------------+----------------------
Changes (by pmetzger):
* Attachment "camlp5.patch" removed.
Patch to upgrade the Portfile
--
Ticket URL: <https://trac.macports.org/ticket/52984>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list