Index of /gnewsense-three/gnewsense/pool/main/a/acl2

      Name                                    Last modified      Size  Description
      Parent Directory                                             -   
      acl2-books-certs_4.0-3_all.deb          2010-07-09 18:02  1.9M  
      acl2-books-certs_4.3-3_all.deb          2012-04-20 20:38  4.2M  
      acl2-books-source_4.0-3_all.deb         2010-07-09 18:02  5.0M  
      acl2-books-source_4.3-3_all.deb         2012-04-20 20:38  6.2M  
      acl2-books_4.0-3_amd64.deb              2010-07-09 22:32   37M  
      acl2-books_4.0-3_i386.deb               2010-07-09 18:02   32M  
      acl2-books_4.0-3_mipsel.deb             2010-07-19 16:47   13M  
      acl2-books_4.3-3_amd64.deb              2012-04-21 01:02   15M  
      acl2-books_4.3-3_i386.deb               2012-04-20 20:38   13M  
      acl2-books_4.3-3_mipsel.deb             2012-04-26 22:49   15M  
      acl2-doc_4.0-3_all.deb                  2010-07-09 18:02  2.7M  
      acl2-doc_4.3-3_all.deb                  2012-04-20 20:38  354K  
      acl2-emacs_4.0-3_all.deb                2010-07-09 18:02   57K  
      acl2-emacs_4.3-3_all.deb                2012-04-20 20:38   59K  
      acl2-infix-source_4.0-3_all.deb         2010-07-09 18:02   87K  
      acl2-infix-source_4.3-3_all.deb         2012-04-20 20:38   89K  
      acl2-infix_4.0-3_amd64.deb              2010-07-09 22:32  420K  
      acl2-infix_4.0-3_i386.deb               2010-07-09 18:02  381K  
      acl2-infix_4.0-3_mipsel.deb             2010-07-19 16:47  187K  
      acl2-infix_4.3-3_amd64.deb              2012-04-21 01:02  199K  
      acl2-infix_4.3-3_i386.deb               2012-04-20 20:38  180K  
      acl2-infix_4.3-3_mipsel.deb             2012-04-26 22:49  214K  
      acl2-source_4.0-3_all.deb               2010-07-09 18:02  2.9M  
      acl2-source_4.3-3_all.deb               2012-04-20 20:38  3.1M  
      acl2_4.0-3.diff.gz                      2010-07-09 18:02   16K  
      acl2_4.0-3.dsc                          2010-07-09 18:02  1.1K  
      acl2_4.0-3_amd64.deb                    2010-07-09 22:32   25M  
      acl2_4.0-3_i386.deb                     2010-07-09 18:02   21M  
      acl2_4.0-3_mipsel.deb                   2010-07-19 16:47   21M  
      acl2_4.0.orig.tar.gz                    2010-07-08 05:47   11M  
      acl2_4.3-3.debian.tar.gz                2012-04-20 20:38   18K  
      acl2_4.3-3.dsc                          2012-04-20 20:38  1.5K  
      acl2_4.3-3_amd64.deb                    2012-04-21 01:02   27M  
      acl2_4.3-3_i386.deb                     2012-04-20 20:38   23M  
      acl2_4.3-3_mipsel.deb                   2012-04-26 22:49   23M  
      acl2_4.3.orig.tar.gz                    2012-01-11 19:47   15M