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

../
acl2-books-certs_3.6-4_all.deb                     30-Mar-2026 22:30      2M
acl2-books-certs_4.2-1_all.deb                     02-Apr-2026 20:45      2M
acl2-books-source_3.6-4_all.deb                    30-Mar-2026 22:30      5M
acl2-books-source_4.2-1_all.deb                    02-Apr-2026 20:45      5M
acl2-books_3.6-4_amd64.deb                         30-Mar-2026 22:30     33M
acl2-books_3.6-4_i386.deb                          30-Mar-2026 22:30     29M
acl2-books_4.2-1_amd64.deb                         02-Apr-2026 20:45     39M
acl2-books_4.2-1_i386.deb                          02-Apr-2026 20:45     34M
acl2-doc_3.6-4_all.deb                             30-Mar-2026 22:30      2M
acl2-doc_4.2-1_all.deb                             02-Apr-2026 20:45    264K
acl2-emacs_3.6-4_all.deb                           30-Mar-2026 22:30     56K
acl2-emacs_4.2-1_all.deb                           02-Apr-2026 20:45     52K
acl2-infix-source_3.6-4_all.deb                    30-Mar-2026 22:30     84K
acl2-infix-source_4.2-1_all.deb                    02-Apr-2026 20:45     80K
acl2-infix_3.6-4_amd64.deb                         30-Mar-2026 22:30    421K
acl2-infix_3.6-4_i386.deb                          30-Mar-2026 22:30    379K
acl2-infix_4.2-1_amd64.deb                         02-Apr-2026 20:45    438K
acl2-infix_4.2-1_i386.deb                          02-Apr-2026 20:45    400K
acl2-source_3.6-4_all.deb                          30-Mar-2026 22:30      3M
acl2-source_4.2-1_all.deb                          02-Apr-2026 20:45      3M
acl2_3.6-4_amd64.deb                               30-Mar-2026 22:30     22M
acl2_3.6-4_i386.deb                                30-Mar-2026 22:30     20M
acl2_4.2-1_amd64.deb                               02-Apr-2026 20:45     25M
acl2_4.2-1_i386.deb                                02-Apr-2026 20:45     22M