Index of /dapper-frozen/pool/universe/a/acl2/

../
acl2-books-certs_2.9.3-7_all.deb                   07-Jun-2017 12:38              375926
acl2-books-source_2.9.3-7_all.deb                  07-Jun-2017 12:38             1297922
acl2-books_2.9.3-7_i386.deb                        07-Jun-2017 12:38              832292
acl2-doc_2.9.3-7_all.deb                           07-Jun-2017 12:38             1862996
acl2-emacs_2.9.3-7_all.deb                         07-Jun-2017 12:38               49352
acl2-infix-source_2.9.3-7_all.deb                  07-Jun-2017 12:38               84836
acl2-infix_2.9.3-7_i386.deb                        07-Jun-2017 12:38              168982
acl2-source_2.9.3-7_all.deb                        07-Jun-2017 12:38             2113598
acl2_2.9.3-7_i386.deb                              07-Jun-2017 12:38            13928728