#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 | -------------------------------+-------------------------------------------- Comment(by blb@macports.org): Note that the last part of the diff is no longer needed as of r41098, as I missed it as part of #15394; thanks for catching it. -- Ticket URL: <http://trac.macports.org/ticket/16967#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS