Index of /Mirrors/archive.tanglu.org/tanglu/pool/main/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_6.3-6_all.deb	2013-12-01 02:22	3.5M
	acl2-books-certs_6.4-4_all.deb	2014-06-03 00:46	4.0M
	acl2-books-certs_6.5-2_all.deb	2015-01-07 20:51	6.2M
	acl2-books-certs_7.2dfsg-2_all.deb	2016-05-18 16:43	52M
	acl2-books-source_6.3-6_all.deb	2013-12-01 02:22	5.1M
	acl2-books-source_6.4-4_all.deb	2014-06-03 00:46	6.2M
	acl2-books-source_6.5-2_all.deb	2015-01-07 20:51	6.7M
	acl2-books-source_7.2dfsg-2_all.deb	2016-05-18 16:43	11M
	acl2-books_6.3-6_amd64.deb	2013-12-01 02:23	18M
	acl2-books_6.3-6_i386.deb	2013-12-01 03:03	17M
	acl2-books_6.4-4_amd64.deb	2014-06-03 00:46	19M
	acl2-books_6.4-4_i386.deb	2014-06-03 03:56	17M
	acl2-books_6.5-2_amd64.deb	2015-01-07 20:52	22M
	acl2-books_6.5-2_i386.deb	2015-03-02 02:07	21M
	acl2-books_7.2dfsg-2_amd64.deb	2016-05-18 16:43	102M
	acl2-books_7.2dfsg-2_i386.deb	2016-05-18 14:41	85M
	acl2-doc_6.3-6_all.deb	2013-12-01 02:23	10M
	acl2-doc_6.4-4_all.deb	2014-06-03 00:46	1.6M
	acl2-doc_6.5-2_all.deb	2015-01-07 20:51	1.6M
	acl2-doc_7.2dfsg-2_all.deb	2016-05-18 16:43	373K
	acl2-emacs_6.3-6_all.deb	2013-12-01 02:22	51K
	acl2-emacs_6.4-4_all.deb	2014-06-03 00:46	59K
	acl2-emacs_6.5-2_all.deb	2015-01-07 20:50	60K
	acl2-emacs_7.2dfsg-2_all.deb	2016-05-18 16:43	63K
	acl2-infix-source_6.3-6_all.deb	2013-12-01 02:22	76K
	acl2-infix-source_6.4-4_all.deb	2014-06-03 00:46	76K
	acl2-infix-source_6.5-2_all.deb	2015-01-07 20:50	78K
	acl2-infix-source_7.2dfsg-2_all.deb	2016-05-18 16:43	77K
	acl2-infix_6.3-6_amd64.deb	2013-12-01 02:23	148K
	acl2-infix_6.3-6_i386.deb	2013-12-01 02:55	142K
	acl2-infix_6.4-4_amd64.deb	2014-06-03 00:46	148K
	acl2-infix_6.4-4_i386.deb	2014-06-03 03:56	141K
	acl2-infix_6.5-2_amd64.deb	2015-01-07 20:51	149K
	acl2-infix_6.5-2_i386.deb	2015-03-02 02:07	150K
	acl2-infix_7.2dfsg-2_amd64.deb	2016-05-18 16:43	399K
	acl2-infix_7.2dfsg-2_i386.deb	2016-05-18 14:41	376K
	acl2-source_6.3-6_all.deb	2013-12-01 02:22	2.6M
	acl2-source_6.4-4_all.deb	2014-06-03 00:46	2.6M
	acl2-source_6.5-2_all.deb	2015-01-07 20:50	2.6M
	acl2-source_7.2dfsg-2_all.deb	2016-05-18 16:43	2.7M
	acl2_6.3-6.debian.tar.gz	2013-11-19 18:01	158K
	acl2_6.3-6.dsc	2013-11-19 18:01	1.7K
	acl2_6.3-6_amd64.deb	2013-12-01 02:23	16M
	acl2_6.3-6_i386.deb	2013-12-01 02:55	13M
	acl2_6.3.orig-books.tar.gz	2013-10-05 18:01	13M
	acl2_6.3.orig.tar.gz	2013-10-05 18:01	6.7M
	acl2_6.4-4.debian.tar.xz	2014-05-19 06:04	124K
	acl2_6.4-4.dsc	2014-05-19 06:04	1.8K
	acl2_6.4-4_amd64.deb	2014-06-03 00:46	15M
	acl2_6.4-4_i386.deb	2014-06-03 03:56	12M
	acl2_6.4.orig-books.tar.gz	2014-05-03 06:04	14M
	acl2_6.4.orig.tar.gz	2014-05-03 06:04	5.8M
	acl2_6.5-2.debian.tar.xz	2014-09-10 06:04	125K
	acl2_6.5-2.dsc	2014-09-10 06:04	1.8K
	acl2_6.5-2_amd64.deb	2015-01-07 20:51	15M
	acl2_6.5-2_i386.deb	2015-03-02 02:07	13M
	acl2_6.5.orig-books.tar.gz	2014-08-22 20:31	14M
	acl2_6.5.orig.tar.gz	2014-08-22 20:31	5.9M
	acl2_7.2dfsg-2.debian.tar.xz	2016-05-04 15:30	199K
	acl2_7.2dfsg-2.dsc	2016-05-04 15:30	2.2K
	acl2_7.2dfsg-2_amd64.deb	2016-05-18 16:43	17M
	acl2_7.2dfsg-2_i386.deb	2016-05-18 14:41	15M
	acl2_7.2dfsg.orig.tar.gz	2016-04-14 15:54	61M