Index of /ubuntu/pool/universe/a/acl2/

../
acl2-books-certs_7.1-1_all.deb                     27-Jun-2015 13:48            13191160
acl2-books-source_7.1-1_all.deb                    27-Jun-2015 13:48            10333152
acl2-books_7.1-1_amd64.deb                         27-Jun-2015 13:48            19608788
acl2-doc_7.1-1_all.deb                             27-Jun-2015 13:48              361780
acl2-emacs_7.1-1_all.deb                           27-Jun-2015 13:48               56524
acl2-infix-source_7.1-1_all.deb                    27-Jun-2015 13:48               72020
acl2-infix_7.1-1_amd64.deb                         27-Jun-2015 13:48              143558
acl2-source_7.1-1_all.deb                          27-Jun-2015 13:48             2838230
acl2_7.1-1.debian.tar.xz                           01-Jun-2015 23:24              128900
acl2_7.1-1.dsc                                     01-Jun-2015 23:24                2203
acl2_7.1-1_amd64.deb                               27-Jun-2015 13:48            17277416
acl2_7.1.orig.tar.gz                               01-Jun-2015 23:24            63342334