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

[MacPorts]

#16967: patch to upgrade acl2 port to v3.4
-------------------------------+--------------------------------------------
  Reporter:  dbueno@…          |       Owner:  gwright@…           
      Type:  enhancement       |      Status:  closed              
  Priority:  Normal            |   Milestone:                      
 Component:  ports             |     Version:  1.6.0               
Resolution:  fixed             |    Keywords:                      
      Port:  acl2              |  
-------------------------------+--------------------------------------------
Changes (by gwright@…):

  * status:  assigned => closed
  * resolution:  => fixed


Comment:

 The acl2 port is now at 3.5, which seems to work for everyone. Closing.

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