[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              |  
-------------------------------+--------------------------------------------

Comment(by blb at macports.org):

 Note that the last part of the diff is no longer needed as of r41098, as I
 missed it as part of #15394; thanks for catching it.

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