[MacPorts] #15394: acl2-3.2 uses now-invalid cd command

MacPorts noreply at macports.org
Fri Oct 17 12:47:14 PDT 2008


#15394: acl2-3.2 uses now-invalid cd command
-------------------------------+--------------------------------------------
  Reporter:  blb at macports.org  |       Owner:  gwright at macports.org
      Type:  defect            |      Status:  closed              
  Priority:  High              |   Milestone:  Port Bugs           
 Component:  ports             |     Version:  1.6.0               
Resolution:  fixed             |    Keywords:  port bug cd         
      Port:  acl2              |  
-------------------------------+--------------------------------------------
Changes (by blb at macports.org):

  * status:  new => closed
  * resolution:  => fixed
  * port:  => acl2


Comment:

 Maintainer timeout, so committed in r40898.

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


More information about the macports-tickets mailing list