Index of /pureos/pool/main/a/acl2/

../
acl2-books-certs_8.0dfsg-1_all.deb                 13-Feb-2019 04:00     70M
acl2-books-certs_8.3dfsg-2_all.deb                 02-Feb-2021 02:47    139M
acl2-books-certs_8.5dfsg-5_all.deb                 30-Apr-2023 05:04    170M
acl2-books-source_8.0dfsg-1_all.deb                13-Feb-2019 04:00     12M
acl2-books-source_8.3dfsg-2_all.deb                02-Feb-2021 02:47     19M
acl2-books-source_8.5dfsg-5_all.deb                30-Apr-2023 05:04     24M
acl2-books_8.0dfsg-1_amd64.deb                     13-Feb-2019 04:02    132M
acl2-books_8.0dfsg-1_arm64.deb                     13-Feb-2019 04:03    135M
acl2-books_8.3dfsg-2_amd64.deb                     02-Feb-2021 02:47    241M
acl2-books_8.3dfsg-2_arm64.deb                     02-Feb-2021 02:47    236M
acl2-books_8.5dfsg-5_amd64.deb                     30-Apr-2023 05:05    287M
acl2-books_8.5dfsg-5_arm64.deb                     30-Apr-2023 05:05    289M
acl2-doc_8.0dfsg-1_all.deb                         13-Feb-2019 03:59    392K
acl2-doc_8.3dfsg-2_all.deb                         02-Feb-2021 02:47    437K
acl2-doc_8.5dfsg-5_all.deb                         30-Apr-2023 05:04    470K
acl2-emacs_8.0dfsg-1_all.deb                       13-Feb-2019 03:59     66K
acl2-emacs_8.3dfsg-2_all.deb                       02-Feb-2021 02:47     68K
acl2-infix-source_8.0dfsg-1_all.deb                13-Feb-2019 03:59     77K
acl2-infix-source_8.3dfsg-2_all.deb                02-Feb-2021 02:47     78K
acl2-infix-source_8.5dfsg-5_all.deb                30-Apr-2023 05:04     71K
acl2-infix_8.0dfsg-1_amd64.deb                     13-Feb-2019 04:00    422K
acl2-infix_8.0dfsg-1_arm64.deb                     13-Feb-2019 04:02    432K
acl2-infix_8.3dfsg-2_amd64.deb                     02-Feb-2021 02:47    479K
acl2-infix_8.3dfsg-2_arm64.deb                     02-Feb-2021 02:47    469K
acl2-infix_8.5dfsg-5_amd64.deb                     30-Apr-2023 05:05    464K
acl2-infix_8.5dfsg-5_arm64.deb                     30-Apr-2023 05:05    461K
acl2-source_8.0dfsg-1_all.deb                      13-Feb-2019 04:00      3M
acl2-source_8.3dfsg-2_all.deb                      02-Feb-2021 02:47      3M
acl2-source_8.5dfsg-5_all.deb                      30-Apr-2023 05:04      3M
acl2_8.0dfsg-1.debian.tar.xz                       13-Feb-2019 03:58    200K
acl2_8.0dfsg-1.dsc                                 13-Feb-2019 03:58    2245
acl2_8.0dfsg-1_amd64.deb                           13-Feb-2019 04:00     19M
acl2_8.0dfsg-1_arm64.deb                           13-Feb-2019 04:02     17M
acl2_8.0dfsg.orig.tar.gz                           13-Feb-2019 03:58     74M
acl2_8.3dfsg-2.debian.tar.xz                       02-Feb-2021 02:43    223K
acl2_8.3dfsg-2.dsc                                 02-Feb-2021 02:43    2275
acl2_8.3dfsg-2_amd64.deb                           02-Feb-2021 02:47     20M
acl2_8.3dfsg-2_arm64.deb                           02-Feb-2021 02:47     19M
acl2_8.3dfsg.orig.tar.gz                           29-Aug-2020 02:43    112M
acl2_8.5dfsg-5.debian.tar.xz                       29-Apr-2023 19:25    306K
acl2_8.5dfsg-5.dsc                                 29-Apr-2023 19:25    2268
acl2_8.5dfsg-5_amd64.deb                           30-Apr-2023 05:04     22M
acl2_8.5dfsg-5_arm64.deb                           30-Apr-2023 05:05     21M
acl2_8.5dfsg.orig.tar.gz                           29-Apr-2023 19:25    213M
elpa-acl2_8.5dfsg-5_all.deb                        30-Apr-2023 05:04     69K