Index of /ubuntu-ports/pool/universe/a/acl2/

/ubuntu-ports/pool/universe/a/acl2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2-books-certs_6.3-5_all.deb11.1 MiB24 Oct 2013 16:36:23 +0000
acl2-books-certs_7.1-1_all.deb12.6 MiB27 Jun 2015 13:48:34 +0000
acl2-books-certs_8.0dfsg-1_all.deb70.0 MiB14 Jan 2018 03:08:17 +0000
acl2-books-certs_8.2dfsg-3build1_all.deb65.8 MiB23 Mar 2020 13:24:07 +0000
acl2-books-certs_8.4dfsg-2_all.deb221.1 MiB19 Dec 2021 01:10:18 +0000
acl2-books-certs_8.5dfsg-5build3_all.deb215.8 MiB02 Apr 2024 08:03:00 +0000
acl2-books-certs_8.5dfsg-6_all.deb78.6 MiB29 Jul 2024 04:20:24 +0000
acl2-books-certs_8.6+dfsg-3_all.deb267.7 MiB15 May 2025 07:30:30 +0000
acl2-books-certs_8.6+dfsg-3build1_all.deb267.0 MiB04 Feb 2026 06:32:11 +0000
acl2-books-certs_8.7+dfsg-3_all.deb291.1 MiB18 Jul 2026 07:54:45 +0000
acl2-books-source_6.3-5_all.deb9.1 MiB24 Oct 2013 16:36:24 +0000
acl2-books-source_7.1-1_all.deb9.9 MiB27 Jun 2015 13:48:39 +0000
acl2-books-source_8.0dfsg-1_all.deb11.9 MiB14 Jan 2018 03:08:16 +0000
acl2-books-source_8.2dfsg-3build1_all.deb13.6 MiB23 Mar 2020 13:24:10 +0000
acl2-books-source_8.4dfsg-2_all.deb21.1 MiB19 Dec 2021 01:10:25 +0000
acl2-books-source_8.5dfsg-5build3_all.deb22.7 MiB02 Apr 2024 08:02:58 +0000
acl2-books-source_8.5dfsg-6_all.deb22.7 MiB29 Jul 2024 04:20:22 +0000
acl2-books-source_8.6+dfsg-3_all.deb26.3 MiB15 May 2025 07:30:27 +0000
acl2-books-source_8.6+dfsg-3build1_all.deb26.5 MiB04 Feb 2026 06:32:07 +0000
acl2-books-source_8.7+dfsg-3_all.deb28.4 MiB18 Jul 2026 07:54:05 +0000
acl2-books_6.3-5_armhf.deb108.1 MiB23 Oct 2013 04:44:04 +0000
acl2-books_6.3-5_powerpc.deb37.7 MiB22 Oct 2013 18:49:20 +0000
acl2-books_7.1-1_arm64.deb18.7 MiB02 Jun 2015 14:43:30 +0000
acl2-books_7.1-1_armhf.deb59.5 MiB02 Jun 2015 12:58:41 +0000
acl2-books_7.1-1_powerpc.deb15.4 MiB02 Jun 2015 05:48:57 +0000
acl2-books_8.0dfsg-1_arm64.deb134.7 MiB22 Jan 2018 03:23:15 +0000
acl2-books_8.0dfsg-1_armhf.deb115.7 MiB21 Jan 2018 23:13:28 +0000
acl2-books_8.0dfsg-1_ppc64el.deb135.3 MiB31 Jan 2018 14:58:01 +0000
acl2-books_8.0dfsg-1_s390x.deb121.5 MiB23 Jan 2018 21:18:57 +0000
acl2-books_8.2dfsg-3build1_arm64.deb161.5 MiB24 Mar 2020 08:48:21 +0000
acl2-books_8.2dfsg-3build1_armhf.deb151.2 MiB24 Mar 2020 08:18:26 +0000
acl2-books_8.2dfsg-3build1_ppc64el.deb169.6 MiB23 Mar 2020 15:18:31 +0000
acl2-books_8.2dfsg-3build1_s390x.deb148.4 MiB23 Mar 2020 12:14:12 +0000
acl2-books_8.4dfsg-2_arm64.deb334.8 MiB26 Dec 2021 07:08:55 +0000
acl2-books_8.4dfsg-2_armhf.deb320.6 MiB26 Dec 2021 05:49:04 +0000
acl2-books_8.4dfsg-2_ppc64el.deb352.3 MiB25 Dec 2021 19:23:50 +0000
acl2-books_8.4dfsg-2_s390x.deb325.5 MiB18 Dec 2021 17:36:30 +0000
acl2-books_8.5dfsg-5build3_arm64.deb337.1 MiB11 Apr 2024 15:38:45 +0000
acl2-books_8.5dfsg-5build3_armhf.deb317.6 MiB03 Apr 2024 15:40:13 +0000
acl2-books_8.5dfsg-5build3_ppc64el.deb350.3 MiB02 Apr 2024 13:19:17 +0000
acl2-books_8.5dfsg-5build3_riscv64.deb1.0 GiB07 Apr 2024 23:42:40 +0000
acl2-books_8.5dfsg-5build3_s390x.deb330.7 MiB02 Apr 2024 05:59:21 +0000
acl2-books_8.5dfsg-6_arm64.deb169.4 MiB29 Jul 2024 07:11:43 +0000
acl2-books_8.5dfsg-6_armhf.deb161.8 MiB29 Jul 2024 08:18:34 +0000
acl2-books_8.5dfsg-6_ppc64el.deb183.1 MiB29 Jul 2024 06:11:44 +0000
acl2-books_8.5dfsg-6_riscv64.deb507.4 MiB31 Jul 2024 19:50:28 +0000
acl2-books_8.5dfsg-6_s390x.deb168.9 MiB29 Jul 2024 04:20:31 +0000
acl2-books_8.6+dfsg-3_arm64.deb470.3 MiB15 May 2025 08:55:05 +0000
acl2-books_8.6+dfsg-3_armhf.deb444.3 MiB19 May 2025 19:24:08 +0000
acl2-books_8.6+dfsg-3_ppc64el.deb498.6 MiB15 May 2025 10:20:26 +0000
acl2-books_8.6+dfsg-3_riscv64.deb1.2 GiB19 May 2025 07:22:30 +0000
acl2-books_8.6+dfsg-3_s390x.deb477.0 MiB15 May 2025 03:38:10 +0000
acl2-books_8.6+dfsg-3build1_arm64.deb465.4 MiB04 Feb 2026 08:06:14 +0000
acl2-books_8.6+dfsg-3build1_armhf.deb430.2 MiB04 Feb 2026 08:06:20 +0000
acl2-books_8.6+dfsg-3build1_ppc64el.deb501.4 MiB04 Feb 2026 08:06:30 +0000
acl2-books_8.6+dfsg-3build1_riscv64.deb1.4 GiB11 Feb 2026 10:24:35 +0000
acl2-books_8.6+dfsg-3build1_s390x.deb475.1 MiB04 Feb 2026 03:07:13 +0000
acl2-books_8.7+dfsg-3_arm64.deb510.4 MiB18 Jul 2026 07:56:32 +0000
acl2-books_8.7+dfsg-3_armhf.deb491.7 MiB18 Jul 2026 07:31:15 +0000
acl2-books_8.7+dfsg-3_ppc64el.deb564.1 MiB18 Jul 2026 09:01:49 +0000
acl2-books_8.7+dfsg-3_riscv64.deb1.6 GiB30 Jul 2026 21:21:56 +0000
acl2-books_8.7+dfsg-3_s390x.deb526.4 MiB18 Jul 2026 04:21:37 +0000
acl2-doc_6.3-5_all.deb12.1 MiB24 Oct 2013 16:36:25 +0000
acl2-doc_7.1-1_all.deb353.3 KiB27 Jun 2015 13:48:36 +0000
acl2-doc_8.0dfsg-1_all.deb385.1 KiB14 Jan 2018 03:08:13 +0000
acl2-doc_8.2dfsg-3build1_all.deb418.1 KiB23 Mar 2020 13:24:10 +0000
acl2-doc_8.4dfsg-2_all.deb441.1 KiB19 Dec 2021 01:09:59 +0000
acl2-doc_8.5dfsg-5build3_all.deb473.9 KiB02 Apr 2024 08:02:57 +0000
acl2-doc_8.5dfsg-6_all.deb473.8 KiB29 Jul 2024 04:20:21 +0000
acl2-doc_8.6+dfsg-3_all.deb516.0 KiB15 May 2025 07:30:27 +0000
acl2-doc_8.6+dfsg-3build1_all.deb516.1 KiB04 Feb 2026 06:32:07 +0000
acl2-doc_8.7+dfsg-3_all.deb536.8 KiB18 Jul 2026 07:54:03 +0000
acl2-emacs_6.3-5_all.deb55.0 KiB24 Oct 2013 16:36:24 +0000
acl2-emacs_7.1-1_all.deb55.2 KiB27 Jun 2015 13:48:38 +0000
acl2-emacs_8.0dfsg-1_all.deb58.9 KiB14 Jan 2018 03:08:17 +0000
acl2-emacs_8.2dfsg-3build1_all.deb59.1 KiB23 Mar 2020 13:24:10 +0000
acl2-infix-source_6.3-5_all.deb86.0 KiB24 Oct 2013 16:36:24 +0000
acl2-infix-source_7.1-1_all.deb70.3 KiB27 Jun 2015 13:48:40 +0000
acl2-infix-source_8.0dfsg-1_all.deb70.2 KiB14 Jan 2018 03:08:12 +0000
acl2-infix-source_8.2dfsg-3build1_all.deb70.2 KiB23 Mar 2020 13:24:07 +0000
acl2-infix-source_8.4dfsg-2_all.deb72.0 KiB19 Dec 2021 01:10:26 +0000
acl2-infix-source_8.5dfsg-5build3_all.deb72.4 KiB02 Apr 2024 08:02:57 +0000
acl2-infix-source_8.5dfsg-6_all.deb72.3 KiB29 Jul 2024 04:20:21 +0000
acl2-infix-source_8.6+dfsg-3_all.deb72.8 KiB15 May 2025 07:30:27 +0000
acl2-infix-source_8.6+dfsg-3build1_all.deb72.9 KiB04 Feb 2026 06:32:06 +0000
acl2-infix-source_8.7+dfsg-3_all.deb71.9 KiB18 Jul 2026 07:54:03 +0000
acl2-infix_6.3-5_armhf.deb573.5 KiB23 Oct 2013 04:44:02 +0000
acl2-infix_6.3-5_powerpc.deb212.1 KiB22 Oct 2013 18:49:19 +0000
acl2-infix_7.1-1_arm64.deb147.5 KiB02 Jun 2015 14:43:28 +0000
acl2-infix_7.1-1_armhf.deb423.2 KiB02 Jun 2015 12:58:40 +0000
acl2-infix_7.1-1_powerpc.deb132.7 KiB02 Jun 2015 05:48:57 +0000
acl2-infix_8.0dfsg-1_arm64.deb420.5 KiB22 Jan 2018 03:23:18 +0000
acl2-infix_8.0dfsg-1_armhf.deb400.2 KiB21 Jan 2018 23:13:26 +0000
acl2-infix_8.0dfsg-1_ppc64el.deb464.2 KiB31 Jan 2018 14:57:59 +0000
acl2-infix_8.0dfsg-1_s390x.deb378.0 KiB23 Jan 2018 21:18:55 +0000
acl2-infix_8.2dfsg-3build1_arm64.deb460.9 KiB24 Mar 2020 08:48:22 +0000
acl2-infix_8.2dfsg-3build1_armhf.deb447.1 KiB24 Mar 2020 08:18:26 +0000
acl2-infix_8.2dfsg-3build1_ppc64el.deb485.6 KiB23 Mar 2020 15:18:31 +0000
acl2-infix_8.2dfsg-3build1_s390x.deb434.6 KiB23 Mar 2020 12:14:09 +0000
acl2-infix_8.4dfsg-2_arm64.deb559.2 KiB26 Dec 2021 07:08:55 +0000
acl2-infix_8.4dfsg-2_armhf.deb551.4 KiB26 Dec 2021 05:49:04 +0000
acl2-infix_8.4dfsg-2_ppc64el.deb604.1 KiB25 Dec 2021 19:23:46 +0000
acl2-infix_8.4dfsg-2_s390x.deb553.9 KiB18 Dec 2021 17:36:31 +0000
acl2-infix_8.5dfsg-5build3_arm64.deb541.5 KiB11 Apr 2024 15:38:41 +0000
acl2-infix_8.5dfsg-5build3_armhf.deb541.6 KiB03 Apr 2024 15:40:09 +0000
acl2-infix_8.5dfsg-5build3_ppc64el.deb594.4 KiB02 Apr 2024 13:19:13 +0000
acl2-infix_8.5dfsg-5build3_riscv64.deb1.5 MiB07 Apr 2024 23:42:31 +0000
acl2-infix_8.5dfsg-5build3_s390x.deb540.9 KiB02 Apr 2024 05:59:19 +0000
acl2-infix_8.5dfsg-6_arm64.deb533.4 KiB29 Jul 2024 07:11:40 +0000
acl2-infix_8.5dfsg-6_armhf.deb541.6 KiB29 Jul 2024 08:18:30 +0000
acl2-infix_8.5dfsg-6_ppc64el.deb590.6 KiB29 Jul 2024 06:11:40 +0000
acl2-infix_8.5dfsg-6_riscv64.deb1.4 MiB31 Jul 2024 19:50:19 +0000
acl2-infix_8.5dfsg-6_s390x.deb531.7 KiB29 Jul 2024 04:20:28 +0000
acl2-infix_8.6+dfsg-3_arm64.deb968.8 KiB15 May 2025 08:55:00 +0000
acl2-infix_8.6+dfsg-3_armhf.deb964.6 KiB19 May 2025 19:24:05 +0000
acl2-infix_8.6+dfsg-3_ppc64el.deb1.0 MiB15 May 2025 10:20:22 +0000
acl2-infix_8.6+dfsg-3_riscv64.deb2.5 MiB19 May 2025 07:22:14 +0000
acl2-infix_8.6+dfsg-3_s390x.deb993.7 KiB15 May 2025 03:38:07 +0000
acl2-infix_8.6+dfsg-3build1_arm64.deb959.2 KiB04 Feb 2026 08:06:08 +0000
acl2-infix_8.6+dfsg-3build1_armhf.deb964.6 KiB04 Feb 2026 08:06:16 +0000
acl2-infix_8.6+dfsg-3build1_ppc64el.deb1.0 MiB04 Feb 2026 08:06:23 +0000
acl2-infix_8.6+dfsg-3build1_riscv64.deb2.9 MiB11 Feb 2026 10:24:17 +0000
acl2-infix_8.6+dfsg-3build1_s390x.deb988.6 KiB04 Feb 2026 03:07:06 +0000
acl2-infix_8.7+dfsg-3_arm64.deb980.3 KiB18 Jul 2026 07:56:23 +0000
acl2-infix_8.7+dfsg-3_armhf.deb993.1 KiB18 Jul 2026 07:30:50 +0000
acl2-infix_8.7+dfsg-3_ppc64el.deb1.0 MiB18 Jul 2026 08:59:55 +0000
acl2-infix_8.7+dfsg-3_riscv64.deb3.0 MiB30 Jul 2026 21:21:37 +0000
acl2-infix_8.7+dfsg-3_s390x.deb1011.3 KiB18 Jul 2026 04:21:26 +0000
acl2-source_6.3-5_all.deb3.6 MiB24 Oct 2013 16:36:22 +0000
acl2-source_7.1-1_all.deb2.7 MiB27 Jun 2015 13:48:41 +0000
acl2-source_8.0dfsg-1_all.deb2.9 MiB14 Jan 2018 03:08:13 +0000
acl2-source_8.2dfsg-3build1_all.deb3.1 MiB23 Mar 2020 13:24:10 +0000
acl2-source_8.4dfsg-2_all.deb3.4 MiB19 Dec 2021 01:10:00 +0000
acl2-source_8.5dfsg-5build3_all.deb3.5 MiB02 Apr 2024 08:02:57 +0000
acl2-source_8.5dfsg-6_all.deb3.5 MiB29 Jul 2024 04:20:21 +0000
acl2-source_8.6+dfsg-3_all.deb3.9 MiB15 May 2025 07:30:27 +0000
acl2-source_8.6+dfsg-3build1_all.deb3.9 MiB04 Feb 2026 06:32:06 +0000
acl2-source_8.7+dfsg-3_all.deb3.9 MiB18 Jul 2026 07:54:02 +0000
acl2_6.3-5.debian.tar.gz157.7 KiB21 Oct 2013 13:09:58 +0000
acl2_6.3-5.dsc1.7 KiB21 Oct 2013 13:09:59 +0000
acl2_6.3-5_armhf.deb23.1 MiB23 Oct 2013 04:44:05 +0000
acl2_6.3-5_powerpc.deb24.7 MiB22 Oct 2013 18:49:21 +0000
acl2_6.3.orig-books.tar.gz13.0 MiB21 Oct 2013 13:09:59 +0000
acl2_6.3.orig.tar.gz6.7 MiB21 Oct 2013 13:09:59 +0000
acl2_7.1-1.debian.tar.xz125.9 KiB01 Jun 2015 23:24:15 +0000
acl2_7.1-1.dsc2.2 KiB01 Jun 2015 23:24:18 +0000
acl2_7.1-1_arm64.deb14.9 MiB02 Jun 2015 14:43:28 +0000
acl2_7.1-1_armhf.deb15.4 MiB02 Jun 2015 12:58:41 +0000
acl2_7.1-1_powerpc.deb13.4 MiB02 Jun 2015 05:48:58 +0000
acl2_7.1.orig.tar.gz60.4 MiB01 Jun 2015 23:24:18 +0000
acl2_8.0dfsg-1.debian.tar.xz200.0 KiB13 Jan 2018 23:08:21 +0000
acl2_8.0dfsg-1.dsc2.2 KiB13 Jan 2018 23:08:20 +0000
acl2_8.0dfsg-1_arm64.deb16.9 MiB22 Jan 2018 03:23:17 +0000
acl2_8.0dfsg-1_armhf.deb15.4 MiB21 Jan 2018 23:13:28 +0000
acl2_8.0dfsg-1_ppc64el.deb18.6 MiB31 Jan 2018 14:58:02 +0000
acl2_8.0dfsg-1_s390x.deb17.8 MiB23 Jan 2018 21:18:55 +0000
acl2_8.0dfsg.orig.tar.gz74.0 MiB13 Jan 2018 23:08:21 +0000
acl2_8.2dfsg-3build1.debian.tar.xz201.2 KiB23 Mar 2020 07:00:04 +0000
acl2_8.2dfsg-3build1.dsc2.2 KiB23 Mar 2020 07:00:05 +0000
acl2_8.2dfsg-3build1_arm64.deb19.4 MiB24 Mar 2020 08:48:22 +0000
acl2_8.2dfsg-3build1_armhf.deb17.8 MiB24 Mar 2020 08:18:26 +0000
acl2_8.2dfsg-3build1_ppc64el.deb20.9 MiB23 Mar 2020 15:18:31 +0000
acl2_8.2dfsg-3build1_s390x.deb20.1 MiB23 Mar 2020 12:14:09 +0000
acl2_8.2dfsg.orig.tar.gz76.9 MiB19 Dec 2019 23:13:26 +0000
acl2_8.4dfsg-2.debian.tar.xz304.3 KiB01 Nov 2021 23:24:22 +0000
acl2_8.4dfsg-2.dsc2.2 KiB01 Nov 2021 23:24:20 +0000
acl2_8.4dfsg-2_arm64.deb23.9 MiB26 Dec 2021 07:08:56 +0000
acl2_8.4dfsg-2_armhf.deb21.3 MiB26 Dec 2021 05:49:01 +0000
acl2_8.4dfsg-2_ppc64el.deb25.2 MiB25 Dec 2021 19:23:50 +0000
acl2_8.4dfsg-2_s390x.deb24.8 MiB18 Dec 2021 17:36:31 +0000
acl2_8.4dfsg.orig.tar.gz193.6 MiB28 Oct 2021 23:18:50 +0000
acl2_8.5dfsg-5build3.debian.tar.xz305.7 KiB01 Apr 2024 05:43:39 +0000
acl2_8.5dfsg-5build3.dsc2.3 KiB01 Apr 2024 05:43:39 +0000
acl2_8.5dfsg-5build3_arm64.deb24.2 MiB11 Apr 2024 15:38:45 +0000
acl2_8.5dfsg-5build3_armhf.deb21.4 MiB03 Apr 2024 15:40:13 +0000
acl2_8.5dfsg-5build3_ppc64el.deb26.0 MiB02 Apr 2024 13:19:17 +0000
acl2_8.5dfsg-5build3_riscv64.deb25.1 MiB07 Apr 2024 23:42:41 +0000
acl2_8.5dfsg-5build3_s390x.deb27.2 MiB02 Apr 2024 05:59:22 +0000
acl2_8.5dfsg-6.debian.tar.xz305.5 KiB28 Jul 2024 23:59:18 +0000
acl2_8.5dfsg-6.dsc2.2 KiB28 Jul 2024 23:59:17 +0000
acl2_8.5dfsg-6_arm64.deb24.3 MiB29 Jul 2024 07:11:43 +0000
acl2_8.5dfsg-6_armhf.deb21.1 MiB29 Jul 2024 08:18:35 +0000
acl2_8.5dfsg-6_ppc64el.deb25.7 MiB29 Jul 2024 06:11:45 +0000
acl2_8.5dfsg-6_riscv64.deb24.3 MiB31 Jul 2024 19:50:29 +0000
acl2_8.5dfsg-6_s390x.deb26.8 MiB29 Jul 2024 04:20:32 +0000
acl2_8.5dfsg.orig.tar.gz213.2 MiB27 Jul 2022 23:33:59 +0000
acl2_8.6+dfsg-3.debian.tar.xz694.5 KiB15 May 2025 00:36:00 +0000
acl2_8.6+dfsg-3.dsc2.2 KiB15 May 2025 00:35:59 +0000
acl2_8.6+dfsg-3_arm64.deb45.2 MiB15 May 2025 08:55:05 +0000
acl2_8.6+dfsg-3_armhf.deb53.8 MiB19 May 2025 19:24:09 +0000
acl2_8.6+dfsg-3_ppc64el.deb46.9 MiB15 May 2025 10:20:27 +0000
acl2_8.6+dfsg-3_riscv64.deb47.2 MiB19 May 2025 07:22:31 +0000
acl2_8.6+dfsg-3_s390x.deb42.2 MiB15 May 2025 03:38:10 +0000
acl2_8.6+dfsg-3build1.debian.tar.xz694.5 KiB03 Feb 2026 22:43:20 +0000
acl2_8.6+dfsg-3build1.dsc2.3 KiB03 Feb 2026 22:43:20 +0000
acl2_8.6+dfsg-3build1_arm64.deb45.9 MiB04 Feb 2026 08:06:15 +0000
acl2_8.6+dfsg-3build1_armhf.deb54.4 MiB04 Feb 2026 08:06:22 +0000
acl2_8.6+dfsg-3build1_ppc64el.deb46.4 MiB04 Feb 2026 08:06:31 +0000
acl2_8.6+dfsg-3build1_riscv64.deb46.8 MiB11 Feb 2026 10:24:36 +0000
acl2_8.6+dfsg-3build1_s390x.deb46.6 MiB04 Feb 2026 03:07:14 +0000
acl2_8.6+dfsg.orig.tar.gz229.2 MiB01 May 2025 16:25:19 +0000
acl2_8.7+dfsg-3.debian.tar.xz880.8 KiB17 Jul 2026 23:14:01 +0000
acl2_8.7+dfsg-3.dsc2.2 KiB17 Jul 2026 23:14:00 +0000
acl2_8.7+dfsg-3_arm64.deb41.0 MiB18 Jul 2026 07:56:33 +0000
acl2_8.7+dfsg-3_armhf.deb50.8 MiB18 Jul 2026 07:31:21 +0000
acl2_8.7+dfsg-3_ppc64el.deb42.6 MiB18 Jul 2026 09:01:51 +0000
acl2_8.7+dfsg-3_riscv64.deb43.0 MiB30 Jul 2026 21:21:56 +0000
acl2_8.7+dfsg-3_s390x.deb44.6 MiB18 Jul 2026 04:21:38 +0000
acl2_8.7+dfsg.orig.tar.gz238.2 MiB17 Jun 2026 17:34:55 +0000
elpa-acl2_8.4dfsg-2_all.deb69.1 KiB19 Dec 2021 01:09:07 +0000
elpa-acl2_8.5dfsg-5build3_all.deb70.7 KiB02 Apr 2024 08:02:57 +0000
elpa-acl2_8.5dfsg-6_all.deb70.8 KiB29 Jul 2024 04:20:20 +0000
elpa-acl2_8.6+dfsg-3_all.deb78.6 KiB15 May 2025 07:30:26 +0000
elpa-acl2_8.6+dfsg-3build1_all.deb78.7 KiB04 Feb 2026 06:32:06 +0000
elpa-acl2_8.7+dfsg-3_all.deb77.7 KiB18 Jul 2026 07:54:02 +0000