#16967: patch to upgrade acl2 port to v3.4 ------------------------------+--------------------------------------------- Reporter: dbueno@gmail.com | Owner: macports-tickets@lists.macosforge.org Type: enhancement | Status: new Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.6.0 Keywords: | Port: acl2 ------------------------------+--------------------------------------------- The latest version of acl2 is 3.4. The attached patch upgrades the port to this version. It doesn't change any of the build process of the port (except a small bug when the nonstd variant is set); just fetches the new files and updates the checksums. -- Ticket URL: <http://trac.macports.org/ticket/16967> MacPorts <http://www.macports.org/> Ports system for Mac OS