Index of /mirror/deb.debian.org/debian/pool/main/a/acl2/

../
acl2-books-certs_8.0dfsg-1_all.deb                 10-Oct-2023 02:55            73306868
acl2-books-certs_8.3dfsg-2_all.deb                 10-Oct-2023 09:14           145388148
acl2-books-certs_8.5dfsg-5_all.deb                 10-Oct-2023 09:14           178375056
acl2-books-source_8.0dfsg-1_all.deb                10-Oct-2023 02:55            12473396
acl2-books-source_8.3dfsg-2_all.deb                10-Oct-2023 09:14            19539252
acl2-books-source_8.5dfsg-5_all.deb                10-Oct-2023 09:14            24662324
acl2-books_8.0dfsg-1_amd64.deb                     10-Oct-2023 02:55           137946376
acl2-books_8.0dfsg-1_armhf.deb                     10-Oct-2023 02:55           125371900
acl2-books_8.3dfsg-2_amd64.deb                     10-Oct-2023 09:14           252878684
acl2-books_8.3dfsg-2_armhf.deb                     10-Oct-2023 09:14           233775700
acl2-books_8.5dfsg-5_amd64.deb                     10-Oct-2023 09:16           300900920
acl2-books_8.5dfsg-5_armhf.deb                     10-Oct-2023 09:16           284902980
acl2-doc_8.0dfsg-1_all.deb                         10-Oct-2023 02:55              401524
acl2-doc_8.3dfsg-2_all.deb                         10-Oct-2023 09:16              447608
acl2-doc_8.5dfsg-5_all.deb                         10-Oct-2023 09:16              481328
acl2-emacs_8.0dfsg-1_all.deb                       10-Oct-2023 02:55               67608
acl2-emacs_8.3dfsg-2_all.deb                       10-Oct-2023 09:16               69412
acl2-infix-source_8.0dfsg-1_all.deb                10-Oct-2023 02:55               79188
acl2-infix-source_8.3dfsg-2_all.deb                10-Oct-2023 09:16               79880
acl2-infix-source_8.5dfsg-5_all.deb                10-Oct-2023 09:16               72332
acl2-infix_8.0dfsg-1_amd64.deb                     10-Oct-2023 02:55              432032
acl2-infix_8.0dfsg-1_armhf.deb                     10-Oct-2023 02:55              416256
acl2-infix_8.3dfsg-2_amd64.deb                     10-Oct-2023 09:16              490280
acl2-infix_8.3dfsg-2_armhf.deb                     10-Oct-2023 09:16              489768
acl2-infix_8.5dfsg-5_amd64.deb                     10-Oct-2023 09:16              475288
acl2-infix_8.5dfsg-5_armhf.deb                     10-Oct-2023 09:16              483688
acl2-source_8.0dfsg-1_all.deb                      10-Oct-2023 02:55             3081324
acl2-source_8.3dfsg-2_all.deb                      10-Oct-2023 09:16             3339896
acl2-source_8.5dfsg-5_all.deb                      10-Oct-2023 09:16             3587888
acl2_8.0dfsg-1_amd64.deb                           10-Oct-2023 02:55            19855896
acl2_8.0dfsg-1_armhf.deb                           10-Oct-2023 02:55            16175824
acl2_8.3dfsg-2_amd64.deb                           10-Oct-2023 09:16            21481292
acl2_8.3dfsg-2_armhf.deb                           10-Oct-2023 09:16            18576036
acl2_8.5dfsg-5_amd64.deb                           10-Oct-2023 09:16            23408224
acl2_8.5dfsg-5_armhf.deb                           10-Oct-2023 09:16            19585128
elpa-acl2_8.5dfsg-5_all.deb                        10-Oct-2023 09:16               70628