Index of /pool/main/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-source_7.1-1_all.deb	2017-09-19 18:41	2.7M
	acl2-infix_7.1-1_amd64.deb	2017-09-19 18:41	140K
	acl2-infix-source_7.1-1_all.deb	2017-09-19 18:41	70K
	acl2-books-certs_7.1-1_all.deb	2017-09-19 18:42	13M
	acl2-doc_7.1-1_all.deb	2017-09-19 18:42	353K
	acl2-books-source_7.1-1_all.deb	2017-09-19 18:44	9.9M
	acl2-books_7.1-1_amd64.deb	2017-09-19 18:46	19M
	acl2_7.1-1_amd64.deb	2017-09-19 18:48	16M
	acl2-emacs_7.1-1_all.deb	2017-09-19 18:48	55K
	acl2-source_6.3-5_all.deb	2017-09-19 18:59	3.6M
	acl2-books-source_6.3-5_all.deb	2017-09-19 19:00	9.1M
	acl2-books_6.3-5_amd64.deb	2017-09-19 19:01	40M
	acl2-books-certs_6.3-5_all.deb	2017-09-19 19:05	11M
	acl2-infix_6.3-5_amd64.deb	2017-09-19 19:05	200K
	acl2-doc_6.3-5_all.deb	2017-09-19 19:05	12M
	acl2-infix-source_6.3-5_all.deb	2017-09-19 19:05	86K
	acl2-emacs_6.3-5_all.deb	2017-09-19 19:06	55K
	acl2_6.3-5_amd64.deb	2017-09-19 19:07	27M
	acl2-books-certs_4.2-1_all.deb	2017-09-22 21:40	1.9M
	acl2-source_4.2-1_all.deb	2017-09-22 21:42	3.0M
	acl2_4.2-1_amd64.deb	2017-09-22 21:43	25M
	acl2-books_4.2-1_amd64.deb	2017-09-22 21:44	39M
	acl2-infix_4.2-1_amd64.deb	2017-09-22 21:45	438K
	acl2-books-source_4.2-1_all.deb	2017-09-22 21:45	4.9M
	acl2-infix-source_4.2-1_all.deb	2017-09-22 21:46	80K
	acl2-doc_4.2-1_all.deb	2017-09-22 21:46	264K
	acl2-emacs_4.2-1_all.deb	2017-09-22 21:47	52K
	acl2-infix-source_8.2dfsg-3build1_all.deb	2020-03-30 20:12	70K
	acl2-books_8.2dfsg-3build1_amd64.deb	2020-03-30 20:12	163M
	acl2-source_8.2dfsg-3build1_all.deb	2020-03-30 20:15	3.1M
	acl2-books-source_8.2dfsg-3build1_all.deb	2020-03-30 20:15	14M
	acl2-doc_8.2dfsg-3build1_all.deb	2020-03-30 20:16	418K
	acl2-books-certs_8.2dfsg-3build1_all.deb	2020-03-30 20:29	66M
	acl2-emacs_8.2dfsg-3build1_all.deb	2020-03-30 20:36	59K
	acl2_8.2dfsg-3build1_amd64.deb	2020-03-30 20:44	21M
	acl2-infix_8.2dfsg-3build1_amd64.deb	2020-03-30 20:46	470K