#15403: camlp5 5.08 gramlib.a not installed ----------------------------+----------------------------------------------- Reporter: diem@cs.vu.nl | Owner: macports-tickets@lists.macosforge.org Type: defect | Status: new Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.6.0 Resolution: | Keywords: camlp5 gramlib.a ----------------------------+----------------------------------------------- Changes (by ryandesign@macports.org): * cc: ryandesign@macports.org (added) -- Ticket URL: <http://trac.macports.org/ticket/15403#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS