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

  * owner:  macports-tickets at lists.macosforge.org => gwright at macports.org


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