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

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_3.6-4_all.deb	2010-02-16 02:05	1.9M
	acl2-books-certs_4.2-1_all.deb	2011-09-01 22:03	1.9M
	acl2-books-certs_6.3-5_all.deb	2013-10-24 11:36	11M
	acl2-books-source_3.6-4_all.deb	2010-02-16 02:05	4.7M
	acl2-books-source_4.2-1_all.deb	2011-09-01 22:03	4.9M
	acl2-books-source_6.3-5_all.deb	2013-10-24 11:36	9.1M
	acl2-books_3.6-4_amd64.deb	2010-02-16 02:05	33M
	acl2-books_3.6-4_i386.deb	2010-02-16 02:05	29M
	acl2-books_4.2-1_amd64.deb	2011-09-01 23:04	39M
	acl2-books_4.2-1_i386.deb	2011-09-01 22:04	34M
	acl2-books_6.3-5_amd64.deb	2013-10-24 11:36	40M
	acl2-books_6.3-5_i386.deb	2013-10-24 11:36	36M
	acl2-doc_3.6-4_all.deb	2010-02-16 02:05	2.3M
	acl2-doc_4.2-1_all.deb	2011-09-01 22:03	264K
	acl2-doc_6.3-5_all.deb	2013-10-24 11:36	12M
	acl2-emacs_3.6-4_all.deb	2010-02-16 02:05	56K
	acl2-emacs_4.2-1_all.deb	2011-09-01 22:03	52K
	acl2-emacs_6.3-5_all.deb	2013-10-24 11:36	55K
	acl2-infix-source_3.6-4_all.deb	2010-02-16 02:05	84K
	acl2-infix-source_4.2-1_all.deb	2011-09-01 22:03	80K
	acl2-infix-source_6.3-5_all.deb	2013-10-24 11:36	86K
	acl2-infix_3.6-4_amd64.deb	2010-02-16 02:05	421K
	acl2-infix_3.6-4_i386.deb	2010-02-16 02:05	379K
	acl2-infix_4.2-1_amd64.deb	2011-09-01 23:04	438K
	acl2-infix_4.2-1_i386.deb	2011-09-01 22:04	400K
	acl2-infix_6.3-5_amd64.deb	2013-10-24 11:36	200K
	acl2-infix_6.3-5_i386.deb	2013-10-24 11:36	189K
	acl2-source_3.6-4_all.deb	2010-02-16 02:05	2.6M
	acl2-source_4.2-1_all.deb	2011-09-01 22:03	3.0M
	acl2-source_6.3-5_all.deb	2013-10-24 11:36	3.6M
	acl2_3.6-4.diff.gz	2010-02-01 18:06	15K
	acl2_3.6-4.dsc	2010-02-01 18:06	1.1K
	acl2_3.6-4_amd64.deb	2010-02-16 02:05	22M
	acl2_3.6-4_i386.deb	2010-02-16 02:05	20M
	acl2_3.6.orig.tar.gz	2010-02-01 18:06	10M
	acl2_4.2-1.debian.tar.gz	2011-05-15 08:04	17K
	acl2_4.2-1.dsc	2011-05-15 08:04	1.2K
	acl2_4.2-1_amd64.deb	2011-09-01 23:04	25M
	acl2_4.2-1_i386.deb	2011-09-01 22:04	22M
	acl2_4.2.orig.tar.gz	2011-05-15 08:04	11M
	acl2_6.3-5.debian.tar.gz	2013-10-21 08:09	158K
	acl2_6.3-5.dsc	2013-10-21 08:09	1.7K
	acl2_6.3-5_amd64.deb	2013-10-24 11:36	27M
	acl2_6.3-5_i386.deb	2013-10-24 11:36	23M
	acl2_6.3.orig-books.tar.gz	2013-10-21 08:09	13M
	acl2_6.3.orig.tar.gz	2013-10-21 08:09	6.7M