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-certs_8.5dfsg-6_all.deb 12-Sep-2024 05:05 64M
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-source_8.5dfsg-6_all.deb 12-Sep-2024 05:05 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+b1_amd64.deb 10-May-2024 05:21 287M
acl2-books_8.5dfsg-5+b1_arm64.deb 10-May-2024 05:21 290M
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-books_8.5dfsg-6_amd64.deb 12-Sep-2024 05:06 151M
acl2-books_8.5dfsg-6_arm64.deb 12-Sep-2024 05:06 149M
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-doc_8.5dfsg-6_all.deb 12-Sep-2024 05:05 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-source_8.5dfsg-6_all.deb 12-Sep-2024 05:05 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+b1_amd64.deb 10-May-2024 05:21 467K
acl2-infix_8.5dfsg-5+b1_arm64.deb 10-May-2024 05:21 466K
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-infix_8.5dfsg-6_amd64.deb 12-Sep-2024 05:06 465K
acl2-infix_8.5dfsg-6_arm64.deb 12-Sep-2024 05:06 455K
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-source_8.5dfsg-6_all.deb 12-Sep-2024 05:05 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+b1_amd64.deb 10-May-2024 05:20 22M
acl2_8.5dfsg-5+b1_arm64.deb 10-May-2024 05:21 21M
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-6.debian.tar.xz 03-Aug-2024 02:46 306K
acl2_8.5dfsg-6.dsc 03-Aug-2024 02:46 2268
acl2_8.5dfsg-6_amd64.deb 12-Sep-2024 05:05 22M
acl2_8.5dfsg-6_arm64.deb 12-Sep-2024 05:06 20M
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
elpa-acl2_8.5dfsg-6_all.deb 12-Sep-2024 05:05 69K