Index of /debian/pool/main/a/acl2

Name ↑ Last modified Size
Parent Directory  -  -
acl2-books-certs_8.3dfsg-2_all.deb  28-Jan-2021 02:25  139 MiB
acl2-books-certs_8.5dfsg-5_all.deb  16-Jan-2023 14:55  170 MiB
acl2-books-certs_8.6+dfsg-2_all.deb  27-Apr-2025 19:56  211 MiB
acl2-books-certs_8.7+dfsg-3_all.deb  17-Jul-2026 21:29  232 MiB
acl2-books-source_8.3dfsg-2_all.deb  28-Jan-2021 02:25  19 MiB
acl2-books-source_8.5dfsg-5_all.deb  16-Jan-2023 14:55  24 MiB
acl2-books-source_8.6+dfsg-2_all.deb  27-Apr-2025 19:56  26 MiB
acl2-books-source_8.7+dfsg-3_all.deb  17-Jul-2026 21:29  28 MiB
acl2-books_8.3dfsg-2_amd64.deb  27-Jan-2021 21:57  241 MiB
acl2-books_8.3dfsg-2_i386.deb  27-Jan-2021 22:22  204 MiB
acl2-books_8.5dfsg-5_amd64.deb  16-Jan-2023 20:15  287 MiB
acl2-books_8.5dfsg-5_i386.deb  16-Jan-2023 15:16  248 MiB
acl2-books_8.6+dfsg-2_amd64.deb  27-Apr-2025 19:40  416 MiB
acl2-books_8.6+dfsg-2_i386.deb  27-Apr-2025 19:25  344 MiB
acl2-books_8.7+dfsg-3_amd64.deb  17-Jul-2026 21:19  457 MiB
acl2-books_8.7+dfsg-3_i386.deb  18-Jul-2026 01:20  398 MiB
acl2-doc_8.3dfsg-2_all.deb  28-Jan-2021 02:25  437 KiB
acl2-doc_8.5dfsg-5_all.deb  16-Jan-2023 14:55  470 KiB
acl2-doc_8.6+dfsg-2_all.deb  27-Apr-2025 19:56  513 KiB
acl2-doc_8.7+dfsg-3_all.deb  17-Jul-2026 21:29  533 KiB
acl2-emacs_8.3dfsg-2_all.deb  28-Jan-2021 02:25  68 KiB
acl2-infix-source_8.3dfsg-2_all.deb  28-Jan-2021 02:25  78 KiB
acl2-infix-source_8.5dfsg-5_all.deb  16-Jan-2023 14:55  71 KiB
acl2-infix-source_8.6+dfsg-2_all.deb  27-Apr-2025 19:56  71 KiB
acl2-infix-source_8.7+dfsg-3_all.deb  17-Jul-2026 21:29  70 KiB
acl2-infix_8.3dfsg-2_amd64.deb  27-Jan-2021 21:57  479 KiB
acl2-infix_8.3dfsg-2_i386.deb  27-Jan-2021 22:22  485 KiB
acl2-infix_8.5dfsg-5_amd64.deb  16-Jan-2023 20:15  464 KiB
acl2-infix_8.5dfsg-5_i386.deb  16-Jan-2023 15:16  478 KiB
acl2-infix_8.6+dfsg-2_amd64.deb  27-Apr-2025 19:40  866 KiB
acl2-infix_8.6+dfsg-2_i386.deb  27-Apr-2025 19:25  852 KiB
acl2-infix_8.7+dfsg-3_amd64.deb  17-Jul-2026 21:19  876 KiB
acl2-infix_8.7+dfsg-3_i386.deb  18-Jul-2026 01:20  864 KiB
acl2-source_8.3dfsg-2_all.deb  28-Jan-2021 02:25  3.2 MiB
acl2-source_8.5dfsg-5_all.deb  16-Jan-2023 14:55  3.4 MiB
acl2-source_8.6+dfsg-2_all.deb  27-Apr-2025 19:56  3.8 MiB
acl2-source_8.7+dfsg-3_all.deb  17-Jul-2026 21:29  3.9 MiB
acl2_8.3dfsg-2.debian.tar.xz  27-Jan-2021 14:34  223 KiB
acl2_8.3dfsg-2.dsc  27-Jan-2021 14:34  2.2 KiB
acl2_8.3dfsg-2_amd64.deb  27-Jan-2021 21:57  20 MiB
acl2_8.3dfsg-2_i386.deb  27-Jan-2021 22:22  19 MiB
acl2_8.3dfsg.orig.tar.gz  24-Aug-2020 02:39  112 MiB
acl2_8.5dfsg-5.debian.tar.xz  16-Jan-2023 02:00  306 KiB
acl2_8.5dfsg-5.dsc  16-Jan-2023 02:00  2.2 KiB
acl2_8.5dfsg-5_amd64.deb  16-Jan-2023 20:15  22 MiB
acl2_8.5dfsg-5_i386.deb  16-Jan-2023 15:16  19 MiB
acl2_8.5dfsg.orig.tar.gz  27-Jul-2022 14:13  213 MiB
acl2_8.6+dfsg-2.debian.tar.xz  27-Apr-2025 12:54  435 KiB
acl2_8.6+dfsg-2.dsc  27-Apr-2025 12:54  2.2 KiB
acl2_8.6+dfsg-2_amd64.deb  27-Apr-2025 19:40  35 MiB
acl2_8.6+dfsg-2_i386.deb  27-Apr-2025 19:25  39 MiB
acl2_8.6+dfsg.orig.tar.gz  26-Apr-2025 21:21  229 MiB
acl2_8.7+dfsg-3.debian.tar.xz  17-Jul-2026 15:14  881 KiB
acl2_8.7+dfsg-3.dsc  17-Jul-2026 15:14  2.2 KiB
acl2_8.7+dfsg-3_amd64.deb  17-Jul-2026 21:19  34 MiB
acl2_8.7+dfsg-3_i386.deb  18-Jul-2026 01:20  35 MiB
acl2_8.7+dfsg.orig.tar.gz  17-Jun-2026 08:01  238 MiB
elpa-acl2_8.5dfsg-5_all.deb  16-Jan-2023 14:55  69 KiB
elpa-acl2_8.6+dfsg-2_all.deb  27-Apr-2025 19:56  76 KiB
elpa-acl2_8.7+dfsg-3_all.deb  17-Jul-2026 21:29  76 KiB
pub.gotlandia.net — 0 directories, 60 files