Index of /linux/mint/debian/latest/pool/main/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_4.0-3_all.deb	10-Jul-2010 05:02	1.9M
	acl2-books-certs_4.3-3_all.deb	21-Apr-2012 07:38	4.2M
	acl2-books-certs_6.0-2_all.deb	14-Jan-2013 12:41	5.0M
	acl2-books-certs_6.3-6_all.deb	17-Nov-2013 12:05	3.5M
	acl2-books-source_4.0-3_all.deb	10-Jul-2010 05:02	5.0M
	acl2-books-source_4.3-3_all.deb	21-Apr-2012 07:38	6.2M
	acl2-books-source_6.0-2_all.deb	14-Jan-2013 12:41	7.5M
	acl2-books-source_6.3-6_all.deb	17-Nov-2013 12:05	5.2M
	acl2-books_4.0-3_amd64.deb	10-Jul-2010 09:32	37M
	acl2-books_4.0-3_i386.deb	10-Jul-2010 05:02	32M
	acl2-books_4.2-1_s390x.deb	06-Jan-2012 15:47	13M
	acl2-books_4.3-3_amd64.deb	21-Apr-2012 12:02	15M
	acl2-books_4.3-3_i386.deb	21-Apr-2012 07:38	13M
	acl2-books_6.3-6_amd64.deb	17-Nov-2013 12:05	18M
	acl2-books_6.3-6_i386.deb	17-Nov-2013 22:41	17M
	acl2-doc_4.0-3_all.deb	10-Jul-2010 05:02	2.7M
	acl2-doc_4.3-3_all.deb	21-Apr-2012 07:38	354K
	acl2-doc_6.0-2_all.deb	14-Jan-2013 12:41	12M
	acl2-doc_6.3-6_all.deb	17-Nov-2013 12:05	12M
	acl2-emacs_4.0-3_all.deb	10-Jul-2010 05:02	57K
	acl2-emacs_4.3-3_all.deb	21-Apr-2012 07:38	59K
	acl2-emacs_6.0-2_all.deb	14-Jan-2013 12:41	61K
	acl2-emacs_6.3-6_all.deb	17-Nov-2013 12:05	52K
	acl2-infix-source_4.0-3_all.deb	10-Jul-2010 05:02	87K
	acl2-infix-source_4.3-3_all.deb	21-Apr-2012 07:38	89K
	acl2-infix-source_6.0-2_all.deb	14-Jan-2013 12:41	90K
	acl2-infix-source_6.3-6_all.deb	17-Nov-2013 12:05	76K
	acl2-infix_4.0-3_amd64.deb	10-Jul-2010 09:32	420K
	acl2-infix_4.0-3_i386.deb	10-Jul-2010 05:02	381K
	acl2-infix_4.2-1_s390x.deb	06-Jan-2012 15:47	189K
	acl2-infix_4.3-3_amd64.deb	21-Apr-2012 12:02	199K
	acl2-infix_4.3-3_i386.deb	21-Apr-2012 07:38	180K
	acl2-infix_6.3-6_amd64.deb	17-Nov-2013 12:05	147K
	acl2-infix_6.3-6_i386.deb	17-Nov-2013 22:41	142K
	acl2-source_4.0-3_all.deb	10-Jul-2010 05:02	2.9M
	acl2-source_4.3-3_all.deb	21-Apr-2012 07:38	3.1M
	acl2-source_6.0-2_all.deb	14-Jan-2013 12:41	3.5M
	acl2-source_6.3-6_all.deb	17-Nov-2013 12:05	2.6M
	acl2_4.0-3.diff.gz	10-Jul-2010 05:02	16K
	acl2_4.0-3.dsc	10-Jul-2010 05:02	1.1K
	acl2_4.0-3_amd64.deb	10-Jul-2010 09:32	25M
	acl2_4.0-3_i386.deb	10-Jul-2010 05:02	21M
	acl2_4.0.orig.tar.gz	08-Jul-2010 16:47	11M
	acl2_4.2-1_s390x.deb	06-Jan-2012 15:47	27M
	acl2_4.3-3.debian.tar.gz	21-Apr-2012 07:38	18K
	acl2_4.3-3.dsc	21-Apr-2012 07:38	1.5K
	acl2_4.3-3_amd64.deb	21-Apr-2012 12:02	27M
	acl2_4.3-3_i386.deb	21-Apr-2012 07:38	23M
	acl2_4.3.orig.tar.gz	12-Jan-2012 08:47	15M
	acl2_6.0-2.debian.tar.gz	14-Jan-2013 12:41	155K
	acl2_6.0-2.dsc	14-Jan-2013 12:41	1.7K
	acl2_6.0.orig-books.tar.gz	13-Jan-2013 16:19	10M
	acl2_6.0.orig.tar.gz	13-Jan-2013 16:19	6.5M
	acl2_6.3-6.debian.tar.gz	17-Nov-2013 12:05	158K
	acl2_6.3-6.dsc	17-Nov-2013 12:05	1.7K
	acl2_6.3-6_amd64.deb	17-Nov-2013 12:05	16M
	acl2_6.3-6_i386.deb	17-Nov-2013 22:41	13M
	acl2_6.3.orig-books.tar.gz	05-Oct-2013 01:59	13M
	acl2_6.3.orig.tar.gz	05-Oct-2013 01:59	6.7M