#14410: Updates camlp5 ------------------------------+--------------------------------------------- Reporter: mreid@pobox.com | Owner: jmr@macports.org Type: enhancement | Status: closed Priority: Normal | Milestone: Port Updates Component: ports | Version: 1.6.0 Resolution: fixed | Keywords: update, camlp5 ------------------------------+--------------------------------------------- Changes (by jmr@macports.org): * status: assigned => closed * resolution: => fixed Comment: Thanks, committed in r34934. -- Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/14410#comment:2> MacPorts </projects/macports> Ports system for Mac OS