#16967: patch to upgrade acl2 port to v3.4 -------------------------------+-------------------------------------------- Reporter: dbueno@gmail.com | Owner: gwright@macports.org Type: enhancement | Status: new Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.6.0 Resolution: | Keywords: Port: acl2 | -------------------------------+-------------------------------------------- Changes (by blb@macports.org): * owner: macports-tickets@lists.macosforge.org => gwright@macports.org -- Ticket URL: <http://trac.macports.org/ticket/16967#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS