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.6+dfsg-3_all.deb  14-May-2025 20:24  212 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.6+dfsg-3_all.deb  14-May-2025 20:24  26 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.6+dfsg-3_amd64.deb  14-May-2025 20:40  416 MiB
acl2-books_8.6+dfsg-3_i386.deb  14-May-2025 22:27  344 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.6+dfsg-3_all.deb  14-May-2025 20:24  513 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.6+dfsg-3_all.deb  14-May-2025 20:24  71 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.6+dfsg-3_amd64.deb  14-May-2025 20:40  865 KiB
acl2-infix_8.6+dfsg-3_i386.deb  14-May-2025 22:27  852 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.6+dfsg-3_all.deb  14-May-2025 20:24  3.8 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-3.debian.tar.xz  14-May-2025 14:10  694 KiB
acl2_8.6+dfsg-3.dsc  14-May-2025 14:10  2.2 KiB
acl2_8.6+dfsg-3_amd64.deb  14-May-2025 20:40  35 MiB
acl2_8.6+dfsg-3_i386.deb  14-May-2025 22:27  39 MiB
acl2_8.6+dfsg.orig.tar.gz  26-Apr-2025 21:21  229 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.6+dfsg-3_all.deb  14-May-2025 20:24  77 KiB
pub.gotlandia.net — 0 directories, 59 files