[MacPorts] #52984: Upgrade camlp5 to 6.17

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