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                 14-Jun-2023 22:34    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                14-Jun-2023 22:34     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                     14-Jun-2023 22:35    287M
acl2-books_8.5dfsg-5_arm64.deb                     14-Jun-2023 22:35    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                         14-Jun-2023 22:34    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                14-Jun-2023 22:34     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                     14-Jun-2023 22:35    464K
acl2-infix_8.5dfsg-5_arm64.deb                     14-Jun-2023 22:35    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                      14-Jun-2023 22:34      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                       14-Jun-2023 14:47    306K
acl2_8.5dfsg-5.dsc                                 14-Jun-2023 14:47    2268
acl2_8.5dfsg-5_amd64.deb                           14-Jun-2023 22:34     22M
acl2_8.5dfsg-5_arm64.deb                           14-Jun-2023 22:35     21M
acl2_8.5dfsg.orig.tar.gz                           14-Jun-2023 14:47    213M
elpa-acl2_8.5dfsg-5_all.deb                        14-Jun-2023 22:34     69K