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

	Name	Last modified	Size
	Parent Directory		-
	acl2_8.2dfsg.orig.tar.gz	19-Dec-2019 18:06	77M
	acl2_8.2dfsg-3_armhf.deb	08-Jan-2020 23:09	17M
	acl2_8.2dfsg-3.dsc	31-Dec-2019 03:04	2.2K
	acl2_8.2dfsg-3.debian.tar.xz	31-Dec-2019 03:04	201K
	acl2_8.0dfsg.orig.tar.gz	13-Jan-2018 14:52	74M
	acl2_8.0dfsg-1.dsc	13-Jan-2018 14:52	2.2K
	acl2_8.0dfsg-1.debian.tar.xz	13-Jan-2018 14:52	200K
	acl2_7.2dfsg.orig.tar.gz	14-Apr-2016 15:54	61M
	acl2_7.2dfsg-3_armhf.deb	20-Apr-2017 01:12	14M
	acl2_7.2dfsg-3.dsc	17-Oct-2016 16:35	2.2K
	acl2_7.2dfsg-3.debian.tar.xz	17-Oct-2016 16:35	199K
	acl2_6.5.orig.tar.gz	17-Aug-2014 17:21	5.9M
	acl2_6.5.orig-books.tar.gz	17-Aug-2014 17:21	14M
	acl2_6.5-2_armhf.deb	04-Oct-2014 19:10	13M
	acl2_6.5-2.dsc	08-Sep-2014 16:35	1.8K
	acl2_6.5-2.debian.tar.xz	08-Sep-2014 16:35	125K
	acl2-source_8.2dfsg-3_all.deb	31-Dec-2019 13:29	3.1M
	acl2-source_8.0dfsg-1_all.deb	13-Jan-2018 14:52	2.9M
	acl2-source_7.2dfsg-3_all.deb	17-Oct-2016 16:35	2.8M
	acl2-source_6.5-2_all.deb	08-Sep-2014 16:35	2.6M
	acl2-infix_8.2dfsg-3_armhf.deb	08-Jan-2020 23:09	435K
	acl2-infix_7.2dfsg-3_armhf.deb	20-Apr-2017 01:12	371K
	acl2-infix_6.5-2_armhf.deb	04-Oct-2014 19:10	392K
	acl2-infix-source_8.2dfsg-3_all.deb	31-Dec-2019 13:29	78K
	acl2-infix-source_8.0dfsg-1_all.deb	13-Jan-2018 14:52	77K
	acl2-infix-source_7.2dfsg-3_all.deb	17-Oct-2016 16:35	77K
	acl2-infix-source_6.5-2_all.deb	08-Sep-2014 16:35	78K
	acl2-emacs_8.2dfsg-3_all.deb	31-Dec-2019 13:29	67K
	acl2-emacs_8.0dfsg-1_all.deb	13-Jan-2018 14:52	66K
	acl2-emacs_7.2dfsg-3_all.deb	17-Oct-2016 16:35	63K
	acl2-emacs_6.5-2_all.deb	08-Sep-2014 16:35	59K
	acl2-doc_8.2dfsg-3_all.deb	31-Dec-2019 13:29	423K
	acl2-doc_8.0dfsg-1_all.deb	13-Jan-2018 14:52	392K
	acl2-doc_7.2dfsg-3_all.deb	17-Oct-2016 16:35	372K
	acl2-doc_6.5-2_all.deb	08-Sep-2014 16:35	1.6M
	acl2-books_8.2dfsg-3_armhf.deb	08-Jan-2020 23:09	146M
	acl2-books_7.2dfsg-3_armhf.deb	20-Apr-2017 01:12	49M
	acl2-books_6.5-2_armhf.deb	04-Oct-2014 19:10	62M
	acl2-books-source_8.2dfsg-3_all.deb	31-Dec-2019 13:29	14M
	acl2-books-source_8.0dfsg-1_all.deb	13-Jan-2018 14:52	12M
	acl2-books-source_7.2dfsg-3_all.deb	17-Oct-2016 16:35	10M
	acl2-books-source_6.5-2_all.deb	08-Sep-2014 16:35	6.6M
	acl2-books-certs_8.2dfsg-3_all.deb	31-Dec-2019 13:29	66M
	acl2-books-certs_8.0dfsg-1_all.deb	13-Jan-2018 14:52	70M
	acl2-books-certs_7.2dfsg-3_all.deb	17-Oct-2016 16:35	52M
	acl2-books-certs_6.5-2_all.deb	08-Sep-2014 16:35	6.2M