Index of /trusty/pool/universe/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2_6.3-5.dsc	2013-10-21 15:09	1.7K
	acl2-emacs_6.3-5_all.deb	2013-10-24 18:36	55K
	acl2-infix-source_6.3-5_all.deb	2013-10-24 18:36	86K
	acl2_6.3-5.debian.tar.gz	2013-10-21 15:09	158K
	acl2-infix_6.3-5_amd64.deb	2013-10-24 18:36	200K
	acl2-source_6.3-5_all.deb	2013-10-24 18:36	3.6M
	acl2_6.3.orig.tar.gz	2013-10-21 15:09	6.7M
	acl2-books-source_6.3-5_all.deb	2013-10-24 18:36	9.1M
	acl2-books-certs_6.3-5_all.deb	2013-10-24 18:36	11M
	acl2-doc_6.3-5_all.deb	2013-10-24 18:36	12M
	acl2_6.3.orig-books.tar.gz	2013-10-21 15:09	13M
	acl2_6.3-5_amd64.deb	2013-10-24 18:36	27M
	acl2-books_6.3-5_amd64.deb	2013-10-24 18:36	40M