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-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_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-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-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_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-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_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