Index of /debian/pool/main/a/acl2/

../
acl2-books-certs_8.5dfsg-5_all.deb                 08-Oct-2026 12:35           178375056
acl2-books-certs_8.6+dfsg-2_all.deb                08-Oct-2026 12:33            61992960
acl2-books-certs_8.7+dfsg-3_all.deb                08-Oct-2026 12:31           243805664
acl2-books-source_8.5dfsg-5_all.deb                08-Oct-2026 12:35            24662324
acl2-books-source_8.6+dfsg-2_all.deb               08-Oct-2026 12:33            27502672
acl2-books-source_8.7+dfsg-3_all.deb               08-Oct-2026 12:31            29736396
acl2-books_8.5dfsg-5_amd64.deb                     08-Oct-2026 12:34           300900920
acl2-books_8.6+dfsg-2_amd64.deb                    08-Oct-2026 12:32            64880640
acl2-books_8.6+dfsg-2_i386.deb                     13-Jan-2026 13:17           360999248
acl2-books_8.7+dfsg-3_amd64.deb                    08-Oct-2026 12:31           478796380
acl2-doc_8.5dfsg-5_all.deb                         08-Oct-2026 12:35              481328
acl2-doc_8.6+dfsg-2_all.deb                        08-Oct-2026 12:33              524912
acl2-doc_8.7+dfsg-3_all.deb                        08-Oct-2026 12:31              546172
acl2-infix-source_8.5dfsg-5_all.deb                08-Oct-2026 12:35               72332
acl2-infix-source_8.6+dfsg-2_all.deb               08-Oct-2026 12:33               72652
acl2-infix-source_8.7+dfsg-3_all.deb               08-Oct-2026 12:31               71952
acl2-infix_8.5dfsg-5_amd64.deb                     08-Oct-2026 12:34              475288
acl2-infix_8.6+dfsg-2_amd64.deb                    08-Oct-2026 12:32              886800
acl2-infix_8.6+dfsg-2_i386.deb                     13-Jan-2026 13:17              872680
acl2-infix_8.7+dfsg-3_amd64.deb                    08-Oct-2026 12:31              896640
acl2-source_8.5dfsg-5_all.deb                      08-Oct-2026 12:35             3587888
acl2-source_8.6+dfsg-2_all.deb                     08-Oct-2026 12:33             3996788
acl2-source_8.7+dfsg-3_all.deb                     08-Oct-2026 12:31             4071680
acl2_8.5dfsg-5_amd64.deb                           08-Oct-2026 12:34            23408224
acl2_8.6+dfsg-2_amd64.deb                          08-Oct-2026 12:32            36900528
acl2_8.6+dfsg-2_i386.deb                           13-Jan-2026 13:17            40681708
acl2_8.7+dfsg-3_amd64.deb                          08-Oct-2026 12:31            35891852
elpa-acl2_8.5dfsg-5_all.deb                        08-Oct-2026 12:35               70628
elpa-acl2_8.6+dfsg-2_all.deb                       08-Oct-2026 12:33               78264
elpa-acl2_8.7+dfsg-3_all.deb                       08-Oct-2026 12:31               77584