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

../
acl2-books-certs_4.2-1_all.deb                                                                                           02-Sep-2011 03:03      2M
acl2-books-source_4.2-1_all.deb                                                                                          02-Sep-2011 03:03      5M
acl2-books_4.2-1_amd64.deb                                                                                               02-Sep-2011 04:04     39M
acl2-books_4.2-1_i386.deb                                                                                                02-Sep-2011 03:04     34M
acl2-doc_4.2-1_all.deb                                                                                                   02-Sep-2011 03:03    264K
acl2-emacs_4.2-1_all.deb                                                                                                 02-Sep-2011 03:03     52K
acl2-infix-source_4.2-1_all.deb                                                                                          02-Sep-2011 03:03     80K
acl2-infix_4.2-1_amd64.deb                                                                                               02-Sep-2011 04:04    438K
acl2-infix_4.2-1_i386.deb                                                                                                02-Sep-2011 03:04    400K
acl2-source_4.2-1_all.deb                                                                                                02-Sep-2011 03:03      3M
acl2_4.2-1_amd64.deb                                                                                                     02-Sep-2011 04:04     25M
acl2_4.2-1_i386.deb                                                                                                      02-Sep-2011 03:04     22M