Index of /livecdroom/source/debian/main/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2_4.3-3.debian.tar.gz	2017-11-19 15:02	18K
	acl2_4.3-3.dsc	2017-11-19 15:02	1.5K
	acl2_4.3.orig.tar.gz	2017-11-19 15:02	15M
	acl2_6.5-2.debian.tar.xz	2015-07-24 20:01	125K
	acl2_6.5-2.dsc	2015-07-24 20:01	1.8K
	acl2_6.5-2~bpo70+1.debian.tar.gz	2015-07-24 20:01	160K
	acl2_6.5-2~bpo70+1.dsc	2015-07-24 20:01	2.3K
	acl2_6.5-5.debian.tar.xz	2015-07-24 20:01	125K
	acl2_6.5-5.dsc	2015-07-24 20:01	1.8K
	acl2_6.5.orig-books.tar.gz	2015-07-24 20:02	14M
	acl2_6.5.orig.tar.gz	2015-07-24 20:01	5.9M
	acl2_7.0-1.debian.tar.xz	2015-07-24 20:01	126K
	acl2_7.0-1.dsc	2015-07-24 20:01	2.2K
	acl2_7.0.orig.tar.gz	2015-07-24 20:01	56M
	acl2_7.1-1.debian.tar.xz	2015-07-24 19:59	126K
	acl2_7.1-1.dsc	2015-07-24 19:59	2.2K
	acl2_7.1.orig.tar.gz	2015-07-24 19:59	60M
	acl2_7.2dfsg-3.debian.tar.xz	2017-08-07 04:49	199K
	acl2_7.2dfsg-3.dsc	2017-08-07 04:49	2.2K
	acl2_7.2dfsg.orig.tar.gz	2017-08-07 04:49	61M
	acl2_7.4dfsg-3.1.debian.tar.xz	2017-11-19 15:01	200K
	acl2_7.4dfsg-3.1.dsc	2017-11-19 15:01	2.3K
	acl2_7.4dfsg-3.debian.tar.xz	2017-08-07 04:49	200K
	acl2_7.4dfsg-3.dsc	2017-08-07 04:49	2.2K
	acl2_7.4dfsg-4.debian.tar.xz	2017-11-19 15:02	200K
	acl2_7.4dfsg-4.dsc	2017-11-19 15:02	2.2K
	acl2_7.4dfsg.orig.tar.gz	2017-08-07 04:49	62M
	acl2_8.0dfsg-1.debian.tar.xz	2019-09-04 14:24	200K
	acl2_8.0dfsg-1.dsc	2019-09-04 14:24	2.2K
	acl2_8.0dfsg.orig.tar.gz	2019-09-04 14:24	74M
	acl2_8.1dfsg-3.debian.tar.xz	2019-09-04 14:24	200K
	acl2_8.1dfsg-3.dsc	2019-09-04 14:24	2.2K
	acl2_8.1dfsg.orig.tar.gz	2019-09-04 14:24	75M
	acl2_8.3dfsg-2.debian.tar.xz	2021-09-22 13:01	223K
	acl2_8.3dfsg-2.dsc	2021-09-22 13:01	2.2K
	acl2_8.3dfsg-3.debian.tar.xz	2021-09-22 13:01	256K
	acl2_8.3dfsg-3.dsc	2021-09-22 13:01	2.2K
	acl2_8.3dfsg.orig.tar.gz	2021-09-22 13:01	112M
	acl2_8.5dfsg-5.debian.tar.xz	2023-07-15 13:44	306K
	acl2_8.5dfsg-5.dsc	2023-07-15 13:44	2.2K
	acl2_8.5dfsg.orig.tar.gz	2023-07-15 13:44	213M