[MacPorts] #52984: Upgrade camlp5 to 6.17
MacPorts
noreply at macports.org
Wed Nov 22 22:38:45 UTC 2017
#52984: Upgrade camlp5 to 6.17
-----------------------+----------------------
Reporter: pmetzger | Owner: larryv
Type: update | Status: closed
Priority: Normal | Milestone:
Component: ports | Version: 2.3.5
Resolution: fixed | Keywords: haspatch
Port: camlp5 |
-----------------------+----------------------
Changes (by neverpanic):
* status: accepted => closed
* resolution: => fixed
Comment:
In [f067e94db52d1a18a444305af2bda0e77bf4ce16/macports-ports].
--
Ticket URL: <https://trac.macports.org/ticket/52984#comment:9>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list