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

../
acl2-books-certs_3.4-2_all.deb                     07-Jun-2017 01:00             1269336
acl2-books-source_3.4-2_all.deb                    07-Jun-2017 01:00             2852656
acl2-books_3.4-2_i386.deb                          07-Jun-2017 01:00            20960280
acl2-doc_3.4-2_all.deb                             07-Jun-2017 01:00             2294156
acl2-emacs_3.4-2_all.deb                           07-Jun-2017 01:00               55084
acl2-infix-source_3.4-2_all.deb                    07-Jun-2017 01:00               85994
acl2-infix_3.4-2_i386.deb                          07-Jun-2017 01:00              383656
acl2-source_3.4-2_all.deb                          07-Jun-2017 01:00             2607826
acl2_3.4-2_i386.deb                                07-Jun-2017 01:00            19303970