[MacPorts] #16967: patch to upgrade acl2 port to v3.4

[MacPorts]

#16967: patch to upgrade acl2 port to v3.4
------------------------------+---------------------------------------------
 Reporter:  dbueno at gmail.com  |       Owner:  macports-tickets at 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