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

../
acl2-books-certs_8.3dfsg-2_all.deb                 31-Oct-2025 09:02           145388148
acl2-books-certs_8.5dfsg-5_all.deb                 31-Oct-2025 09:02           178375056
acl2-books-certs_8.6+dfsg-2_all.deb                31-Oct-2025 09:02           221620564
acl2-books-source_8.3dfsg-2_all.deb                31-Oct-2025 09:02            19539252
acl2-books-source_8.5dfsg-5_all.deb                31-Oct-2025 09:02            24662324
acl2-books-source_8.6+dfsg-2_all.deb               31-Oct-2025 09:02            27502672
acl2-books_8.3dfsg-2_amd64.deb                     31-Oct-2025 09:02           252878684
acl2-books_8.5dfsg-5_amd64.deb                     31-Oct-2025 09:02           300900920
acl2-books_8.6+dfsg-2_amd64.deb                    31-Oct-2025 09:03           435743480
acl2-doc_8.3dfsg-2_all.deb                         31-Oct-2025 09:03              447608
acl2-doc_8.5dfsg-5_all.deb                         31-Oct-2025 09:03              481328
acl2-doc_8.6+dfsg-2_all.deb                        31-Oct-2025 09:03              524912
acl2-emacs_8.3dfsg-2_all.deb                       31-Oct-2025 09:03               69412
acl2-infix-source_8.3dfsg-2_all.deb                31-Oct-2025 09:03               79880
acl2-infix-source_8.5dfsg-5_all.deb                31-Oct-2025 09:03               72332
acl2-infix-source_8.6+dfsg-2_all.deb               31-Oct-2025 09:03               72652
acl2-infix_8.3dfsg-2_amd64.deb                     31-Oct-2025 09:03              490280
acl2-infix_8.5dfsg-5_amd64.deb                     31-Oct-2025 09:03              475288
acl2-infix_8.6+dfsg-2_amd64.deb                    31-Oct-2025 09:03              886800
acl2-source_8.3dfsg-2_all.deb                      31-Oct-2025 09:03             3339896
acl2-source_8.5dfsg-5_all.deb                      31-Oct-2025 09:03             3587888
acl2-source_8.6+dfsg-2_all.deb                     31-Oct-2025 09:03             3996788
acl2_8.3dfsg-2.debian.tar.xz                       31-Oct-2025 09:03              228320
acl2_8.3dfsg-2.dsc                                 31-Oct-2025 09:03                2275
acl2_8.3dfsg-2_amd64.deb                           31-Oct-2025 09:03            21481292
acl2_8.3dfsg.orig.tar.gz                           31-Oct-2025 09:03           117260902
acl2_8.5dfsg-5.debian.tar.xz                       31-Oct-2025 09:03              312896
acl2_8.5dfsg-5.dsc                                 31-Oct-2025 09:03                2268
acl2_8.5dfsg-5_amd64.deb                           31-Oct-2025 09:03            23408224
acl2_8.5dfsg.orig.tar.gz                           31-Oct-2025 09:03           223546594
acl2_8.6+dfsg-2.debian.tar.xz                      31-Oct-2025 09:03              445128
acl2_8.6+dfsg-2.dsc                                31-Oct-2025 09:03                2286
acl2_8.6+dfsg-2_amd64.deb                          31-Oct-2025 09:03            36900528
acl2_8.6+dfsg.orig.tar.gz                          31-Oct-2025 09:03           240329345
elpa-acl2_8.5dfsg-5_all.deb                        31-Oct-2025 09:03               70628
elpa-acl2_8.6+dfsg-2_all.deb                       31-Oct-2025 09:03               78264