Index of /ports.ubuntu.com/ubuntu-ports/pool/universe/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_4.2-1_all.deb	2011-09-01 20:03	1.9M
	acl2-books-certs_4.3-3_all.deb	2012-05-18 07:33	4.2M
	acl2-books-certs_6.0-2_all.deb	2013-01-13 23:33	4.9M
	acl2-books-certs_6.2-6_all.deb	2013-07-31 07:38	9.7M
	acl2-books-certs_6.3-5_all.deb	2013-10-24 09:36	11M
	acl2-books-source_4.2-1_all.deb	2011-09-01 20:03	4.9M
	acl2-books-source_4.3-3_all.deb	2012-05-18 07:33	6.2M
	acl2-books-source_6.0-2_all.deb	2013-01-13 23:33	7.5M
	acl2-books-source_6.2-6_all.deb	2013-07-31 07:38	7.3M
	acl2-books-source_6.3-5_all.deb	2013-10-24 09:36	9.1M
	acl2-books_4.2-1_armhf.deb	2012-02-01 19:33	33M
	acl2-books_4.3-3_armhf.deb	2012-05-19 01:33	39M
	acl2-books_6.2-6_armhf.deb	2013-08-08 08:58	88M
	acl2-books_6.3-5_armhf.deb	2013-10-22 21:44	108M
	acl2-doc_4.2-1_all.deb	2011-09-01 20:03	264K
	acl2-doc_4.3-3_all.deb	2012-05-18 07:33	348K
	acl2-doc_6.0-2_all.deb	2013-01-13 23:33	7.2M
	acl2-doc_6.2-6_all.deb	2013-07-31 07:38	7.5M
	acl2-doc_6.3-5_all.deb	2013-10-24 09:36	12M
	acl2-emacs_4.2-1_all.deb	2011-09-01 20:03	52K
	acl2-emacs_4.3-3_all.deb	2012-05-18 07:33	53K
	acl2-emacs_6.0-2_all.deb	2013-01-13 23:33	54K
	acl2-emacs_6.2-6_all.deb	2013-07-31 07:38	53K
	acl2-emacs_6.3-5_all.deb	2013-10-24 09:36	55K
	acl2-infix-source_4.2-1_all.deb	2011-09-01 20:03	80K
	acl2-infix-source_4.3-3_all.deb	2012-05-18 07:33	86K
	acl2-infix-source_6.0-2_all.deb	2013-01-13 23:33	87K
	acl2-infix-source_6.2-6_all.deb	2013-07-31 07:38	86K
	acl2-infix-source_6.3-5_all.deb	2013-10-24 09:36	86K
	acl2-infix_4.2-1_armhf.deb	2012-02-01 19:33	393K
	acl2-infix_4.3-3_armhf.deb	2012-05-19 01:33	423K
	acl2-infix_6.2-6_armhf.deb	2013-08-08 08:58	530K
	acl2-infix_6.3-5_armhf.deb	2013-10-22 21:44	574K
	acl2-source_4.2-1_all.deb	2011-09-01 20:03	3.0M
	acl2-source_4.3-3_all.deb	2012-05-18 07:33	3.1M
	acl2-source_6.0-2_all.deb	2013-01-13 23:33	3.5M
	acl2-source_6.2-6_all.deb	2013-07-31 07:38	3.6M
	acl2-source_6.3-5_all.deb	2013-10-24 09:36	3.6M
	acl2_4.2-1.debian.tar.gz	2011-05-15 06:04	17K
	acl2_4.2-1.dsc	2011-05-15 06:04	1.2K
	acl2_4.2-1_armhf.deb	2012-02-01 19:33	21M
	acl2_4.2.orig.tar.gz	2011-05-15 06:04	11M
	acl2_4.3-3.debian.tar.gz	2012-05-05 21:34	18K
	acl2_4.3-3.dsc	2012-05-05 21:34	1.5K
	acl2_4.3-3_armhf.deb	2012-05-19 01:34	23M
	acl2_4.3.orig.tar.gz	2012-04-30 12:43	15M
	acl2_6.0-2.debian.tar.gz	2013-01-13 21:33	155K
	acl2_6.0-2.dsc	2013-01-13 21:33	1.7K
	acl2_6.0.orig-books.tar.gz	2013-01-13 03:33	10M
	acl2_6.0.orig.tar.gz	2013-01-13 03:33	6.5M
	acl2_6.2-6.debian.tar.gz	2013-07-31 02:38	157K
	acl2_6.2-6.dsc	2013-07-31 02:38	1.7K
	acl2_6.2-6_armhf.deb	2013-08-08 08:58	23M
	acl2_6.2.orig-books.tar.gz	2013-07-13 04:28	11M
	acl2_6.2.orig.tar.gz	2013-07-13 04:28	6.6M
	acl2_6.3-5.debian.tar.gz	2013-10-21 06:09	158K
	acl2_6.3-5.dsc	2013-10-21 06:09	1.7K
	acl2_6.3-5_armhf.deb	2013-10-22 21:44	23M
	acl2_6.3.orig-books.tar.gz	2013-10-21 06:09	13M
	acl2_6.3.orig.tar.gz	2013-10-21 06:09	6.7M