[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:  gwright at macports.org
      Type:  enhancement       |      Status:  assigned            
  Priority:  Normal            |   Milestone:  Port Bugs           
 Component:  ports             |     Version:  1.6.0               
Resolution:                    |    Keywords:                      
      Port:  acl2              |  
-------------------------------+--------------------------------------------
Changes (by gwright at macports.org):

  * status:  new => assigned


Comment:

 I have tried this and it builds the port OK.  After I (successfully) run
 the full regression test on the port I will commit the update.

-- 
Ticket URL: <http://trac.macports.org/ticket/16967#comment:3>
MacPorts <http://www.macports.org/>
Ports system for Mac OS