[MacPorts] #14410: Updates camlp5
#14410: Updates camlp5 -----------------------------+---------------------------------------------- Reporter: mreid@pobox.com | Owner: macports-tickets@lists.macosforge.org Type: enhancement | Status: new Priority: Normal | Milestone: Port Updates Component: ports | Version: 1.6.0 Keywords: update, camlp5 | -----------------------------+---------------------------------------------- Patchfile to update camlp5 to its current upstream version (5.08). -- Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/14410> MacPorts </projects/macports> Ports system for Mac OS
#14410: Updates camlp5 ------------------------------+--------------------------------------------- Reporter: mreid@pobox.com | Owner: jmr@macports.org Type: enhancement | Status: assigned Priority: Normal | Milestone: Port Updates Component: ports | Version: 1.6.0 Resolution: | Keywords: update, camlp5 ------------------------------+--------------------------------------------- Changes (by jmr@macports.org): * owner: macports-tickets@lists.macosforge.org => jmr@macports.org * status: new => assigned -- Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/14410#comment:1> MacPorts </projects/macports> Ports system for Mac OS
#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
participants (1)
-
MacPorts