#16967: patch to upgrade acl2 port to v3.4 -------------------------------+-------------------------------------------- Reporter: dbueno@gmail.com | Owner: gwright@macports.org Type: enhancement | Status: assigned Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.6.0 Resolution: | Keywords: Port: acl2 | -------------------------------+-------------------------------------------- Changes (by gwright@macports.org): * status: new => assigned Comment: I have tried this and it builds the port OK. After I (successfully) run the full regression test on the port I will commit the update. -- Ticket URL: <http://trac.macports.org/ticket/16967#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS