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

	Name	Last modified	Size	Description	Metadata
	Parent Directory		-
	acl2_7.2dfsg-3.dsc	17-Oct-2016 14:35	2.2K		Details
	acl2_8.0dfsg-1.dsc	13-Jan-2018 13:52	2.2K		Details
	acl2_8.3dfsg-1.dsc	24-Aug-2020 02:39	2.2K		Details
	acl2_8.3dfsg-2.dsc	27-Jan-2021 14:34	2.2K		Details
	acl2_8.4dfsg-2.dsc	01-Nov-2021 16:37	2.2K		Details
	acl2-books_8.3dfsg-1_armhf.deb	29-Aug-2020 10:08	13K		Details
	acl2-books-certs_8.3dfsg-1_all.deb	24-Aug-2020 04:11	13K		Details
	acl2-emacs_7.2dfsg-3_all.deb	17-Oct-2016 14:35	63K		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 04:11	68K		Details
	acl2-emacs_8.3dfsg-2_all.deb	28-Jan-2021 02:25	68K		Details
	elpa-acl2_8.4dfsg-2_all.deb	02-Nov-2021 03:14	75K		Details
	acl2-infix-source_7.2dfsg-3_all.deb	17-Oct-2016 14:35	77K		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 04:11	78K		Details
	acl2-infix-source_8.3dfsg-2_all.deb	28-Jan-2021 02:25	78K		Details
	acl2-infix-source_8.4dfsg-2_all.deb	02-Nov-2021 03:14	78K		Details
	acl2_7.2dfsg-3.debian.tar.xz	17-Oct-2016 14:35	199K		Details
	acl2_8.0dfsg-1.debian.tar.xz	13-Jan-2018 13:52	200K		Details
	acl2_8.3dfsg-1.debian.tar.xz	24-Aug-2020 02:39	201K		Details
	acl2_8.3dfsg-2.debian.tar.xz	27-Jan-2021 14:34	223K		Details
	acl2_8.4dfsg-2.debian.tar.xz	01-Nov-2021 16:37	304K		Details
	acl2-infix_7.2dfsg-3_armhf.deb	19-Apr-2017 23:12	371K		Details
	acl2-doc_7.2dfsg-3_all.deb	17-Oct-2016 14:35	372K		Details
	acl2-doc_8.0dfsg-1_all.deb	13-Jan-2018 13:52	392K		Details
	acl2-infix_8.3dfsg-1_armhf.deb	29-Aug-2020 10:08	431K		Details
	acl2-doc_8.3dfsg-1_all.deb	24-Aug-2020 04:11	437K		Details
	acl2-doc_8.3dfsg-2_all.deb	28-Jan-2021 02:25	437K		Details
	acl2-doc_8.4dfsg-2_all.deb	02-Nov-2021 03:14	445K		Details
	acl2-infix_8.4dfsg-2_armhf.deb	24-Nov-2021 10:09	464K		Details
	acl2-source_7.2dfsg-3_all.deb	17-Oct-2016 14:35	2.8M		Details
	acl2-source_8.0dfsg-1_all.deb	13-Jan-2018 13:52	2.9M		Details
	acl2-source_8.3dfsg-2_all.deb	28-Jan-2021 02:25	3.2M		Details
	acl2-source_8.3dfsg-1_all.deb	24-Aug-2020 04:11	3.2M		Details
	acl2-source_8.4dfsg-2_all.deb	02-Nov-2021 03:14	3.3M		Details
	acl2-books-source_7.2dfsg-3_all.deb	17-Oct-2016 14:35	10M		Details
	acl2-books-source_8.0dfsg-1_all.deb	13-Jan-2018 13:52	12M		Details
	acl2_7.2dfsg-3_armhf.deb	19-Apr-2017 23:12	14M		Details
	acl2_8.3dfsg-1_armhf.deb	29-Aug-2020 10:08	17M		Details
	acl2_8.4dfsg-2_armhf.deb	24-Nov-2021 10:09	18M		Details
	acl2-books-source_8.3dfsg-1_all.deb	24-Aug-2020 04:11	19M		Details
	acl2-books-source_8.3dfsg-2_all.deb	28-Jan-2021 02:25	19M		Details
	acl2-books-source_8.4dfsg-2_all.deb	02-Nov-2021 03:14	22M		Details
	acl2-books_7.2dfsg-3_armhf.deb	19-Apr-2017 23:12	49M		Details
	acl2-books-certs_7.2dfsg-3_all.deb	17-Oct-2016 14:35	52M		Details
	acl2_7.2dfsg.orig.tar.gz	14-Apr-2016 13:54	61M		Details
	acl2-books-certs_8.0dfsg-1_all.deb	13-Jan-2018 13:52	70M		Details
	acl2_8.0dfsg.orig.tar.gz	13-Jan-2018 13:52	74M		Details
	acl2_8.3dfsg.orig.tar.gz	24-Aug-2020 02:39	112M		Details
	acl2-books-certs_8.3dfsg-2_all.deb	28-Jan-2021 02:25	139M		Details
	acl2-books-certs_8.4dfsg-2_all.deb	02-Nov-2021 03:14	168M		Details
	acl2_8.4dfsg.orig.tar.gz	28-Oct-2021 17:48	194M		Details
	acl2-books_8.4dfsg-2_armhf.deb	24-Nov-2021 10:09	260M		Details