Index of /ubuntu/pool/universe/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_8.0dfsg-1build1_all.deb	2019-01-16 02:13	70M
	acl2_8.0dfsg-1build1_amd64.deb	2019-01-16 02:13	19M
	acl2-source_8.0dfsg-1build1_all.deb	2019-01-16 02:13	2.9M
	acl2-infix_8.0dfsg-1build1_amd64.deb	2019-01-16 02:13	471K
	acl2-infix-source_8.0dfsg-1build1_all.deb	2019-01-16 02:13	70K
	acl2-emacs_8.0dfsg-1build1_all.deb	2019-01-16 02:13	59K
	acl2-doc_8.0dfsg-1build1_all.deb	2019-01-16 02:13	385K
	acl2-books-source_8.0dfsg-1build1_all.deb	2019-01-16 02:13	12M
	acl2-books_8.0dfsg-1build1_amd64.deb	2019-01-16 02:13	145M
	acl2_8.0dfsg-1build1_i386.deb	2019-01-16 00:47	17M
	acl2-infix_8.0dfsg-1build1_i386.deb	2019-01-16 00:47	434K
	acl2-books_8.0dfsg-1build1_i386.deb	2019-01-16 00:47	127M
	acl2_8.0dfsg-1build1.dsc	2019-01-15 19:08	2.2K
	acl2_8.0dfsg-1build1.debian.tar.xz	2019-01-15 19:08	200K
	acl2_8.0dfsg-1_i386.deb	2018-01-14 12:49	16M
	acl2-infix_8.0dfsg-1_i386.deb	2018-01-14 12:49	381K
	acl2-books_8.0dfsg-1_i386.deb	2018-01-14 12:49	114M
	acl2-emacs_8.0dfsg-1_all.deb	2018-01-14 11:08	59K
	acl2-books-certs_8.0dfsg-1_all.deb	2018-01-14 11:08	70M
	acl2-books-source_8.0dfsg-1_all.deb	2018-01-14 11:08	12M
	acl2_8.0dfsg-1_amd64.deb	2018-01-14 11:08	19M
	acl2-books_8.0dfsg-1_amd64.deb	2018-01-14 11:08	132M
	acl2-source_8.0dfsg-1_all.deb	2018-01-14 11:08	2.9M
	acl2-infix_8.0dfsg-1_amd64.deb	2018-01-14 11:08	414K
	acl2-doc_8.0dfsg-1_all.deb	2018-01-14 11:08	385K
	acl2-infix-source_8.0dfsg-1_all.deb	2018-01-14 11:08	70K
	acl2_8.0dfsg.orig.tar.gz	2018-01-14 07:08	74M
	acl2_8.0dfsg-1.debian.tar.xz	2018-01-14 07:08	200K
	acl2_8.0dfsg-1.dsc	2018-01-14 07:08	2.2K
	acl2_7.2dfsg-2_i386.deb	2016-05-05 15:09	15M
	acl2-books_7.2dfsg-2_i386.deb	2016-05-05 15:09	88M
	acl2-infix_7.2dfsg-2_i386.deb	2016-05-05 15:09	369K
	acl2-books-certs_7.2dfsg-2_all.deb	2016-05-05 14:24	52M
	acl2_7.2dfsg-2_amd64.deb	2016-05-05 14:24	17M
	acl2-emacs_7.2dfsg-2_all.deb	2016-05-05 14:24	56K
	acl2-source_7.2dfsg-2_all.deb	2016-05-05 14:24	2.8M
	acl2-infix-source_7.2dfsg-2_all.deb	2016-05-05 14:24	71K
	acl2-books_7.2dfsg-2_amd64.deb	2016-05-05 14:24	102M
	acl2-infix_7.2dfsg-2_amd64.deb	2016-05-05 14:24	392K
	acl2-books-source_7.2dfsg-2_all.deb	2016-05-05 14:24	11M
	acl2-doc_7.2dfsg-2_all.deb	2016-05-05 14:24	366K
	acl2_7.2dfsg-2.dsc	2016-05-05 07:29	2.2K
	acl2_7.2dfsg-2.debian.tar.xz	2016-05-05 07:29	199K
	acl2_7.2dfsg.orig.tar.gz	2016-04-27 06:12	61M
	acl2-source_7.1-1_all.deb	2015-06-27 21:48	2.7M
	acl2_7.1-1_amd64.deb	2015-06-27 21:48	16M
	acl2-infix-source_7.1-1_all.deb	2015-06-27 21:48	70K
	acl2-books-source_7.1-1_all.deb	2015-06-27 21:48	9.9M
	acl2-emacs_7.1-1_all.deb	2015-06-27 21:48	55K
	acl2-infix_7.1-1_amd64.deb	2015-06-27 21:48	140K
	acl2-doc_7.1-1_all.deb	2015-06-27 21:48	353K
	acl2-books_7.1-1_amd64.deb	2015-06-27 21:48	19M
	acl2-books-certs_7.1-1_all.deb	2015-06-27 21:48	13M
	acl2_7.1-1_i386.deb	2015-06-02 10:43	16M
	acl2-infix_7.1-1_i386.deb	2015-06-02 10:43	142K
	acl2-books_7.1-1_i386.deb	2015-06-02 10:43	18M
	acl2_7.1.orig.tar.gz	2015-06-02 07:24	60M
	acl2_7.1-1.dsc	2015-06-02 07:24	2.2K
	acl2_7.1-1.debian.tar.xz	2015-06-02 07:24	126K
	acl2-books_6.3-5_i386.deb	2013-10-25 00:36	36M
	acl2_6.3-5_i386.deb	2013-10-25 00:36	23M
	acl2-infix_6.3-5_i386.deb	2013-10-25 00:36	189K
	acl2_6.3-5_amd64.deb	2013-10-25 00:36	27M
	acl2-infix_6.3-5_amd64.deb	2013-10-25 00:36	200K
	acl2-doc_6.3-5_all.deb	2013-10-25 00:36	12M
	acl2-books_6.3-5_amd64.deb	2013-10-25 00:36	40M
	acl2-infix-source_6.3-5_all.deb	2013-10-25 00:36	86K
	acl2-emacs_6.3-5_all.deb	2013-10-25 00:36	55K
	acl2-books-source_6.3-5_all.deb	2013-10-25 00:36	9.1M
	acl2-books-certs_6.3-5_all.deb	2013-10-25 00:36	11M
	acl2-source_6.3-5_all.deb	2013-10-25 00:36	3.6M
	acl2_6.3.orig.tar.gz	2013-10-21 21:09	6.7M
	acl2_6.3.orig-books.tar.gz	2013-10-21 21:09	13M
	acl2_6.3-5.dsc	2013-10-21 21:09	1.7K
	acl2_6.3-5.debian.tar.gz	2013-10-21 21:09	158K
	acl2_4.2-1_amd64.deb	2011-09-02 12:04	25M
	acl2-books_4.2-1_amd64.deb	2011-09-02 12:04	39M
	acl2-infix_4.2-1_amd64.deb	2011-09-02 12:04	438K
	acl2_4.2-1_i386.deb	2011-09-02 11:04	22M
	acl2-books_4.2-1_i386.deb	2011-09-02 11:04	34M
	acl2-infix_4.2-1_i386.deb	2011-09-02 11:04	400K
	acl2-books-certs_4.2-1_all.deb	2011-09-02 11:03	1.9M
	acl2-source_4.2-1_all.deb	2011-09-02 11:03	3.0M
	acl2-infix-source_4.2-1_all.deb	2011-09-02 11:03	80K
	acl2-emacs_4.2-1_all.deb	2011-09-02 11:03	52K
	acl2-doc_4.2-1_all.deb	2011-09-02 11:03	264K
	acl2-books-source_4.2-1_all.deb	2011-09-02 11:03	4.9M
	acl2_4.2.orig.tar.gz	2011-05-15 21:04	11M
	acl2_4.2-1.dsc	2011-05-15 21:04	1.2K
	acl2_4.2-1.debian.tar.gz	2011-05-15 21:04	17K