Index of /debian-archive/debian-amd64/pool/main/a/acl2/

../
acl2-books-certs_2.9-2_all.deb                     11-Nov-2004 12:02    289K
acl2-books-source_2.9-2_all.deb                    11-Nov-2004 12:02      1M
acl2-books_2.9-2_amd64.deb                         30-Apr-2005 20:19      1M
acl2-doc_2.9-2_all.deb                             11-Nov-2004 12:02      2M
acl2-emacs_2.9-2_all.deb                           30-Apr-2005 20:19     48K
acl2-infix-source_2.9-2_all.deb                    11-Nov-2004 12:02     82K
acl2-infix_2.9-2_amd64.deb                         30-Apr-2005 20:19    210K
acl2-source_2.9-2_all.deb                          11-Nov-2004 12:02      2M
acl2_2.9-2.diff.gz                                 11-Nov-2004 12:02     18K
acl2_2.9-2.dsc                                     30-Apr-2005 20:19     794
acl2_2.9-2_amd64.deb                               30-Apr-2005 20:19     16M
acl2_2.9.orig.tar.gz                               30-Apr-2005 20:19      5M