Index of /ubuntu/pool/universe/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-source_7.1-1_all.deb	2015-06-27 20:48	2.7M
	acl2_7.1-1_amd64.deb	2015-06-27 20:48	16M
	acl2-infix-source_7.1-1_all.deb	2015-06-27 20:48	70K
	acl2-books-source_7.1-1_all.deb	2015-06-27 20:48	9.9M
	acl2-emacs_7.1-1_all.deb	2015-06-27 20:48	55K
	acl2-infix_7.1-1_amd64.deb	2015-06-27 20:48	140K
	acl2-doc_7.1-1_all.deb	2015-06-27 20:48	353K
	acl2-books_7.1-1_amd64.deb	2015-06-27 20:48	19M
	acl2-books-certs_7.1-1_all.deb	2015-06-27 20:48	13M
	acl2_7.1-1_i386.deb	2015-06-02 09:43	16M
	acl2-infix_7.1-1_i386.deb	2015-06-02 09:43	142K
	acl2-books_7.1-1_i386.deb	2015-06-02 09:43	18M
	acl2-books_6.3-5_i386.deb	2013-10-24 23:36	36M
	acl2_6.3-5_i386.deb	2013-10-24 23:36	23M
	acl2-infix_6.3-5_i386.deb	2013-10-24 23:36	189K
	acl2_6.3-5_amd64.deb	2013-10-24 23:36	27M
	acl2-infix_6.3-5_amd64.deb	2013-10-24 23:36	200K
	acl2-doc_6.3-5_all.deb	2013-10-24 23:36	12M
	acl2-books_6.3-5_amd64.deb	2013-10-24 23:36	40M
	acl2-infix-source_6.3-5_all.deb	2013-10-24 23:36	86K
	acl2-emacs_6.3-5_all.deb	2013-10-24 23:36	55K
	acl2-books-source_6.3-5_all.deb	2013-10-24 23:36	9.1M
	acl2-books-certs_6.3-5_all.deb	2013-10-24 23:36	11M
	acl2-source_6.3-5_all.deb	2013-10-24 23:36	3.6M