Index of /debian-ports/pool/main/a/acl2

	Name	Last modified	Size
	Parent Directory		-
	acl2-books-certs_8.1dfsg-3_all.deb	2019-04-04 13:29	77M
	acl2-books-certs_8.1dfsg-4_all.deb	2019-11-01 01:59	77M
	acl2-books-certs_8.1dfsg-5_all.deb	2019-12-08 23:18	77M
	acl2-books-certs_8.1dfsg-6_all.deb	2019-12-09 22:57	77M
	acl2-books-source_8.1dfsg-3_all.deb	2019-04-04 13:29	13M
	acl2-books-source_8.1dfsg-4_all.deb	2019-11-01 01:59	13M
	acl2-books-source_8.1dfsg-5_all.deb	2019-12-08 23:18	13M
	acl2-books-source_8.1dfsg-6_all.deb	2019-12-09 22:57	13M
	acl2-doc_8.1dfsg-3_all.deb	2019-04-04 13:29	404K
	acl2-doc_8.1dfsg-4_all.deb	2019-11-01 01:59	404K
	acl2-doc_8.1dfsg-5_all.deb	2019-12-08 23:18	404K
	acl2-doc_8.1dfsg-6_all.deb	2019-12-09 22:57	404K
	acl2-emacs_8.1dfsg-3_all.deb	2019-04-04 13:29	66K
	acl2-emacs_8.1dfsg-4_all.deb	2019-11-01 01:59	66K
	acl2-emacs_8.1dfsg-5_all.deb	2019-12-08 23:18	66K
	acl2-emacs_8.1dfsg-6_all.deb	2019-12-09 22:57	66K
	acl2-infix-source_8.1dfsg-3_all.deb	2019-04-04 13:29	78K
	acl2-infix-source_8.1dfsg-4_all.deb	2019-11-01 01:59	78K
	acl2-infix-source_8.1dfsg-5_all.deb	2019-12-08 23:18	78K
	acl2-infix-source_8.1dfsg-6_all.deb	2019-12-09 22:57	78K
	acl2-source_8.1dfsg-3_all.deb	2019-04-04 13:29	3.0M
	acl2-source_8.1dfsg-4_all.deb	2019-11-01 01:59	3.0M
	acl2-source_8.1dfsg-5_all.deb	2019-12-08 23:18	3.0M
	acl2-source_8.1dfsg-6_all.deb	2019-12-09 22:57	3.0M