[MacPorts] #52984: Upgrade camlp5 to 6.17
MacPorts
noreply at macports.org
Wed Nov 30 22:26: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
Keywords: haspatch | Port: camlp5
----------------------+--------------------
Please upgrade camlp5 to 6.17. I've attached a patch.
--
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