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

../
acl2-books-certs_7.1-1_all.deb                     27-Jun-2015 06:48            13191160
acl2-books-source_7.1-1_all.deb                    27-Jun-2015 06:48            10333152
acl2-books_7.1-1_amd64.deb                         27-Jun-2015 06:48            19608788
acl2-books_7.1-1_i386.deb                          01-Jun-2015 19:43            18602828
acl2-doc_7.1-1_all.deb                             27-Jun-2015 06:48              361780
acl2-emacs_7.1-1_all.deb                           27-Jun-2015 06:48               56524
acl2-infix-source_7.1-1_all.deb                    27-Jun-2015 06:48               72020
acl2-infix_7.1-1_amd64.deb                         27-Jun-2015 06:48              143558
acl2-infix_7.1-1_i386.deb                          01-Jun-2015 19:43              145560
acl2-source_7.1-1_all.deb                          27-Jun-2015 06:48             2838230
acl2_7.1-1_amd64.deb                               27-Jun-2015 06:48            17277416
acl2_7.1-1_i386.deb                                01-Jun-2015 19:43            16463104