#16967: patch to upgrade acl2 port to v3.4 -------------------------------+-------------------------------------------- Reporter: dbueno@… | Owner: gwright@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.6.0 Resolution: fixed | Keywords: Port: acl2 | -------------------------------+-------------------------------------------- Changes (by gwright@…): * status: assigned => closed * resolution: => fixed Comment: The acl2 port is now at 3.5, which seems to work for everyone. Closing. -- Ticket URL: <http://trac.macports.org/ticket/16967#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS