Index of /raspbian/pool/main/a/acl2

	Name	Last modified	Size	Description	Metadata
	Parent Directory		-
	acl2-books-certs_8.0dfsg-1_all.deb	13-Jan-2018 13:52	70M		Details
	acl2-books-certs_8.3dfsg-1_all.deb	24-Aug-2020 05:11	13K		Details
	acl2-books-certs_8.3dfsg-2_all.deb	28-Jan-2021 02:25	139M		Details
	acl2-books-certs_8.5dfsg-5_all.deb	16-Jan-2023 14:55	170M		Details
	acl2-books-certs_8.5dfsg-6_all.deb	29-Jul-2024 00:44	64M		Details
	acl2-books-certs_8.6+dfsg-2_all.deb	27-Apr-2025 20:56	211M		Details
	acl2-books-source_8.0dfsg-1_all.deb	13-Jan-2018 13:52	12M		Details
	acl2-books-source_8.3dfsg-1_all.deb	24-Aug-2020 05:11	19M		Details
	acl2-books-source_8.3dfsg-2_all.deb	28-Jan-2021 02:25	19M		Details
	acl2-books-source_8.5dfsg-5_all.deb	16-Jan-2023 14:55	24M		Details
	acl2-books-source_8.5dfsg-6_all.deb	29-Jul-2024 00:44	24M		Details
	acl2-books-source_8.6+dfsg-2_all.deb	27-Apr-2025 20:56	26M		Details
	acl2-books_8.0dfsg-1_armhf.deb	01-May-2022 10:11	128M		Details
	acl2-books_8.3dfsg-1_armhf.deb	29-Aug-2020 11:08	13K		Details
	acl2-books_8.5dfsg-5_armhf.deb	26-Jan-2023 10:08	266M		Details
	acl2-books_8.5dfsg-6_armhf.deb	04-Oct-2024 11:08	270M		Details
	acl2-doc_8.0dfsg-1_all.deb	13-Jan-2018 13:52	392K		Details
	acl2-doc_8.3dfsg-1_all.deb	24-Aug-2020 05:11	437K		Details
	acl2-doc_8.3dfsg-2_all.deb	28-Jan-2021 02:25	437K		Details
	acl2-doc_8.5dfsg-5_all.deb	16-Jan-2023 14:55	470K		Details
	acl2-doc_8.5dfsg-6_all.deb	29-Jul-2024 00:44	470K		Details
	acl2-doc_8.6+dfsg-2_all.deb	27-Apr-2025 20:56	513K		Details
	acl2-emacs_8.0dfsg-1_all.deb	13-Jan-2018 13:52	66K		Details
	acl2-emacs_8.3dfsg-1_all.deb	24-Aug-2020 05:11	68K		Details
	acl2-emacs_8.3dfsg-2_all.deb	28-Jan-2021 02:25	68K		Details
	acl2-infix-source_8.0dfsg-1_all.deb	13-Jan-2018 13:52	77K		Details
	acl2-infix-source_8.3dfsg-1_all.deb	24-Aug-2020 05:11	78K		Details
	acl2-infix-source_8.3dfsg-2_all.deb	28-Jan-2021 02:25	78K		Details
	acl2-infix-source_8.5dfsg-5_all.deb	16-Jan-2023 14:55	71K		Details
	acl2-infix-source_8.5dfsg-6_all.deb	29-Jul-2024 00:44	71K		Details
	acl2-infix-source_8.6+dfsg-2_all.deb	27-Apr-2025 20:56	71K		Details
	acl2-infix_8.0dfsg-1_armhf.deb	01-May-2022 10:11	432K		Details
	acl2-infix_8.3dfsg-1_armhf.deb	29-Aug-2020 11:08	431K		Details
	acl2-infix_8.5dfsg-5_armhf.deb	26-Jan-2023 10:08	457K		Details
	acl2-infix_8.5dfsg-6_armhf.deb	04-Oct-2024 11:08	459K		Details
	acl2-source_8.0dfsg-1_all.deb	13-Jan-2018 13:52	2.9M		Details
	acl2-source_8.3dfsg-1_all.deb	24-Aug-2020 05:11	3.2M		Details
	acl2-source_8.3dfsg-2_all.deb	28-Jan-2021 02:25	3.2M		Details
	acl2-source_8.5dfsg-5_all.deb	16-Jan-2023 14:55	3.4M		Details
	acl2-source_8.5dfsg-6_all.deb	29-Jul-2024 00:44	3.4M		Details
	acl2-source_8.6+dfsg-2_all.deb	27-Apr-2025 20:56	3.8M		Details
	acl2_8.0dfsg-1.debian.tar.xz	13-Jan-2018 13:52	200K		Details
	acl2_8.0dfsg-1.dsc	13-Jan-2018 13:52	2.2K		Details
	acl2_8.0dfsg-1_armhf.deb	01-May-2022 10:11	16M		Details
	acl2_8.0dfsg.orig.tar.gz	13-Jan-2018 13:52	74M		Details
	acl2_8.3dfsg-1.debian.tar.xz	24-Aug-2020 03:39	201K		Details
	acl2_8.3dfsg-1.dsc	24-Aug-2020 03:39	2.2K		Details
	acl2_8.3dfsg-1_armhf.deb	29-Aug-2020 11:08	17M		Details
	acl2_8.3dfsg-2.debian.tar.xz	27-Jan-2021 14:34	223K		Details
	acl2_8.3dfsg-2.dsc	27-Jan-2021 14:34	2.2K		Details
	acl2_8.3dfsg.orig.tar.gz	24-Aug-2020 03:39	112M		Details
	acl2_8.5dfsg-5.debian.tar.xz	16-Jan-2023 02:00	306K		Details
	acl2_8.5dfsg-5.dsc	16-Jan-2023 02:00	2.2K		Details
	acl2_8.5dfsg-5_armhf.deb	26-Jan-2023 10:08	18M		Details
	acl2_8.5dfsg-6.debian.tar.xz	03-Aug-2024 05:41	306K		Details
	acl2_8.5dfsg-6.dsc	03-Aug-2024 05:40	2.2K		Details
	acl2_8.5dfsg-6_armhf.deb	04-Oct-2024 11:08	18M		Details
	acl2_8.5dfsg.orig.tar.gz	27-Jul-2022 15:13	213M		Details
	acl2_8.6+dfsg-2.debian.tar.xz	27-Apr-2025 13:54	435K		Details
	acl2_8.6+dfsg-2.dsc	27-Apr-2025 13:54	2.2K		Details
	acl2_8.6+dfsg.orig.tar.gz	26-Apr-2025 22:21	229M		Details
	elpa-acl2_8.5dfsg-5_all.deb	16-Jan-2023 14:55	69K		Details
	elpa-acl2_8.5dfsg-6_all.deb	29-Jul-2024 00:44	69K		Details
	elpa-acl2_8.6+dfsg-2_all.deb	27-Apr-2025 20:56	76K		Details