Index of /Debian/pool/main/a/acl2

	Name	Last modified	Size
	Parent Directory		-
	acl2_8.1dfsg.orig.tar.gz	03-Mar-2019 12:30	75M
	acl2_8.1dfsg-3.dsc	04-Apr-2019 14:29	2.2K
	acl2_8.1dfsg-3.debian.tar.xz	04-Apr-2019 14:29	200K
	acl2_8.1dfsg-3+b1_i386.deb	22-Jul-2019 05:56	18M
	acl2_8.1dfsg-3+b1_amd64.deb	22-Jul-2019 04:55	19M
	acl2_8.0dfsg.orig.tar.gz	13-Jan-2018 13:52	74M
	acl2_8.0dfsg-1_i386.deb	13-Jan-2018 21:26	16M
	acl2_8.0dfsg-1_amd64.deb	13-Jan-2018 13:52	19M
	acl2_8.0dfsg-1.dsc	13-Jan-2018 13:52	2.2K
	acl2_8.0dfsg-1.debian.tar.xz	13-Jan-2018 13:52	200K
	acl2_7.2dfsg.orig.tar.gz	14-Apr-2016 14:54	61M
	acl2_7.2dfsg-3_i386.deb	18-Oct-2016 00:35	15M
	acl2_7.2dfsg-3_amd64.deb	17-Oct-2016 15:35	17M
	acl2_7.2dfsg-3.dsc	17-Oct-2016 15:35	2.2K
	acl2_7.2dfsg-3.debian.tar.xz	17-Oct-2016 15:35	199K
	acl2_6.5.orig.tar.gz	17-Aug-2014 16:21	5.9M
	acl2_6.5.orig-books.tar.gz	17-Aug-2014 16:21	14M
	acl2_6.5-2_i386.deb	08-Sep-2014 22:44	13M
	acl2_6.5-2_amd64.deb	08-Sep-2014 15:35	16M
	acl2_6.5-2.dsc	08-Sep-2014 15:35	1.8K
	acl2_6.5-2.debian.tar.xz	08-Sep-2014 15:35	125K
	acl2-source_8.1dfsg-3_all.deb	04-Apr-2019 14:29	3.0M
	acl2-source_8.0dfsg-1_all.deb	13-Jan-2018 13:52	2.9M
	acl2-source_7.2dfsg-3_all.deb	17-Oct-2016 15:35	2.8M
	acl2-source_6.5-2_all.deb	08-Sep-2014 15:35	2.6M
	acl2-infix_8.1dfsg-3+b1_i386.deb	22-Jul-2019 05:56	483K
	acl2-infix_8.1dfsg-3+b1_amd64.deb	22-Jul-2019 04:55	481K
	acl2-infix_8.0dfsg-1_i386.deb	13-Jan-2018 21:26	390K
	acl2-infix_8.0dfsg-1_amd64.deb	13-Jan-2018 13:52	422K
	acl2-infix_7.2dfsg-3_i386.deb	18-Oct-2016 00:35	381K
	acl2-infix_7.2dfsg-3_amd64.deb	17-Oct-2016 15:35	410K
	acl2-infix_6.5-2_i386.deb	08-Sep-2014 22:44	148K
	acl2-infix_6.5-2_amd64.deb	08-Sep-2014 15:35	147K
	acl2-infix-source_8.1dfsg-3_all.deb	04-Apr-2019 14:29	78K
	acl2-infix-source_8.0dfsg-1_all.deb	13-Jan-2018 13:52	77K
	acl2-infix-source_7.2dfsg-3_all.deb	17-Oct-2016 15:35	77K
	acl2-infix-source_6.5-2_all.deb	08-Sep-2014 15:35	78K
	acl2-emacs_8.1dfsg-3_all.deb	04-Apr-2019 14:29	66K
	acl2-emacs_8.0dfsg-1_all.deb	13-Jan-2018 13:52	66K
	acl2-emacs_7.2dfsg-3_all.deb	17-Oct-2016 15:35	63K
	acl2-emacs_6.5-2_all.deb	08-Sep-2014 15:35	59K
	acl2-doc_8.1dfsg-3_all.deb	04-Apr-2019 14:29	404K
	acl2-doc_8.0dfsg-1_all.deb	13-Jan-2018 13:52	392K
	acl2-doc_7.2dfsg-3_all.deb	17-Oct-2016 15:35	372K
	acl2-doc_6.5-2_all.deb	08-Sep-2014 15:35	1.6M
	acl2-books_8.1dfsg-3+b1_i386.deb	22-Jul-2019 05:56	133M
	acl2-books_8.1dfsg-3+b1_amd64.deb	22-Jul-2019 04:55	156M
	acl2-books_8.0dfsg-1_i386.deb	13-Jan-2018 21:26	111M
	acl2-books_8.0dfsg-1_amd64.deb	13-Jan-2018 13:52	132M
	acl2-books_7.2dfsg-3_i386.deb	18-Oct-2016 00:35	86M
	acl2-books_7.2dfsg-3_amd64.deb	17-Oct-2016 15:35	103M
	acl2-books_6.5-2_i386.deb	08-Sep-2014 22:44	21M
	acl2-books_6.5-2_amd64.deb	08-Sep-2014 15:35	22M
	acl2-books-source_8.1dfsg-3_all.deb	04-Apr-2019 14:29	13M
	acl2-books-source_8.0dfsg-1_all.deb	13-Jan-2018 13:52	12M
	acl2-books-source_7.2dfsg-3_all.deb	17-Oct-2016 15:35	10M
	acl2-books-source_6.5-2_all.deb	08-Sep-2014 15:35	6.6M
	acl2-books-certs_8.1dfsg-3_all.deb	04-Apr-2019 14:29	77M
	acl2-books-certs_8.0dfsg-1_all.deb	13-Jan-2018 13:52	70M
	acl2-books-certs_7.2dfsg-3_all.deb	17-Oct-2016 15:35	52M
	acl2-books-certs_6.5-2_all.deb	08-Sep-2014 15:35	6.2M