Index of /pub/trisquel-archive/trisquel/pool/main/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_6.3-5_all.deb	2013-10-24 12:36	11M
	acl2-books-source_6.3-5_all.deb	2013-10-24 12:36	9.1M
	acl2-books_6.3-5_amd64.deb	2013-10-24 12:36	40M
	acl2-books_6.3-5_i386.deb	2013-10-24 12:36	36M
	acl2-doc_6.3-5_all.deb	2013-10-24 12:36	12M
	acl2-emacs_6.3-5_all.deb	2013-10-24 12:36	55K
	acl2-infix-source_6.3-5_all.deb	2013-10-24 12:36	86K
	acl2-infix_6.3-5_amd64.deb	2013-10-24 12:36	200K
	acl2-infix_6.3-5_i386.deb	2013-10-24 12:36	189K
	acl2-source_6.3-5_all.deb	2013-10-24 12:36	3.6M
	acl2_3.4-2.diff.gz	2009-04-28 17:04	14K
	acl2_3.4-2.dsc	2009-04-28 17:04	1.2K
	acl2_3.4.orig.tar.gz	2008-11-04 21:06	7.6M
	acl2_3.6-4.diff.gz	2010-02-01 19:06	15K
	acl2_3.6-4.dsc	2010-02-01 19:06	1.1K
	acl2_3.6.orig.tar.gz	2010-02-01 19:06	10M
	acl2_4.0-3.diff.gz	2010-09-06 20:05	16K
	acl2_4.0-3.dsc	2010-09-06 20:05	1.1K
	acl2_4.0.orig.tar.gz	2010-09-06 20:05	11M
	acl2_4.1-5.debian.tar.gz	2010-11-07 07:05	17K
	acl2_4.1-5.dsc	2010-11-07 07:05	1.2K
	acl2_4.1.orig.tar.gz	2010-10-15 07:08	11M
	acl2_4.2-1.debian.tar.gz	2011-05-15 09:04	17K
	acl2_4.2-1.dsc	2011-05-15 09:04	1.2K
	acl2_4.2.orig.tar.gz	2011-05-15 09:04	11M
	acl2_6.3-5.debian.tar.gz	2013-10-21 09:09	158K
	acl2_6.3-5.dsc	2013-10-21 09:09	1.7K
	acl2_6.3-5_amd64.deb	2013-10-24 12:36	27M
	acl2_6.3-5_i386.deb	2013-10-24 12:36	23M
	acl2_6.3.orig-books.tar.gz	2013-10-21 09:09	13M
	acl2_6.3.orig.tar.gz	2013-10-21 09:09	6.7M