Index of /pool/main/a/acl2/

../
acl2-books-certs_8.3dfsg-2_all.deb                 23-Jul-2026 09:02           145388148
acl2-books-certs_8.5dfsg-5_all.deb                 22-Jul-2026 14:08           178375056
acl2-books-certs_8.6+dfsg-2_all.deb                23-Jul-2026 10:43           221620564
acl2-books-source_8.3dfsg-2_all.deb                23-Jul-2026 09:09            19539252
acl2-books-source_8.5dfsg-5_all.deb                22-Jul-2026 14:01            24662324
acl2-books-source_8.6+dfsg-2_all.deb               23-Jul-2026 11:07            27502672
acl2-books_8.3dfsg-2_amd64.deb                     23-Jul-2026 09:18           252878684
acl2-books_8.5dfsg-5_amd64.deb                     22-Jul-2026 14:02           300900920
acl2-books_8.6+dfsg-2_amd64.deb                    23-Jul-2026 10:53           435743480
acl2-doc_8.3dfsg-2_all.deb                         23-Jul-2026 09:07              447608
acl2-doc_8.5dfsg-5_all.deb                         22-Jul-2026 14:05              481328
acl2-doc_8.6+dfsg-2_all.deb                        23-Jul-2026 11:20              524912
acl2-emacs_8.3dfsg-2_all.deb                       23-Jul-2026 09:13               69412
acl2-infix-source_8.3dfsg-2_all.deb                23-Jul-2026 09:15               79880
acl2-infix-source_8.5dfsg-5_all.deb                22-Jul-2026 13:56               72332
acl2-infix-source_8.6+dfsg-2_all.deb               23-Jul-2026 11:19               72652
acl2-infix_8.3dfsg-2_amd64.deb                     23-Jul-2026 09:02              490280
acl2-infix_8.5dfsg-5_amd64.deb                     22-Jul-2026 14:06              475288
acl2-infix_8.6+dfsg-2_amd64.deb                    23-Jul-2026 10:43              886800
acl2-source_8.3dfsg-2_all.deb                      23-Jul-2026 09:06             3339896
acl2-source_8.5dfsg-5_all.deb                      22-Jul-2026 13:54             3587888
acl2-source_8.6+dfsg-2_all.deb                     23-Jul-2026 11:07             3996788
acl2_8.3dfsg-2_amd64.deb                           23-Jul-2026 09:02            21481292
acl2_8.5dfsg-5_amd64.deb                           22-Jul-2026 14:08            23408224
acl2_8.6+dfsg-2_amd64.deb                          23-Jul-2026 11:15            36900528
elpa-acl2_8.5dfsg-5_all.deb                        22-Jul-2026 13:58               70628
elpa-acl2_8.6+dfsg-2_all.deb                       23-Jul-2026 11:18               78264