Index of /desktop/pool/main/a/acl2

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      acl2-books-certs_3.6..> 08-Oct-2014 15:25  1.9M  
      acl2-books-source_3...> 08-Oct-2014 15:25  4.7M  
      acl2-books_3.6-4_i38..> 08-Oct-2014 15:25   29M  
      acl2-doc_3.6-4_all.deb  08-Oct-2014 15:25  2.3M  
      acl2-emacs_3.6-4_all..> 08-Oct-2014 15:25   56K  
      acl2-infix-source_3...> 08-Oct-2014 15:25   84K  
      acl2-infix_3.6-4_i38..> 08-Oct-2014 15:25  379K  
      acl2-source_3.6-4_al..> 08-Oct-2014 15:25  2.6M  
      acl2_3.6-4_i386.deb     08-Oct-2014 15:25   20M