Index of /by-release/changes-files/ubuntu/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2_3.0-1_source.changes.bz2	2006-06-26 21:53	747
	acl2_3.0.1-8_source.changes.bz2	2006-11-08 08:11	816
	acl2_3.1-1_source.changes.bz2	2006-12-06 16:18	632
	acl2_3.2-1_source.changes.bz2	2007-05-21 10:15	620
	acl2_3.3-1.1_source.changes.bz2	2008-05-10 03:18	3.7K
	acl2_3.3-1_source.changes.bz2	2007-12-04 13:12	911
	acl2_3.3-1ubuntu1_source.changes.bz2	2008-02-18 19:34	737
	acl2_3.4-1_source.changes.bz2	2008-11-05 06:06	859
	acl2_3.4-2_source.changes.bz2	2009-04-28 23:20	614
	acl2_3.6-4_source.changes.bz2	2010-02-02 01:48	1.2K
	acl2_3.6.1-1_source.changes.bz2	2010-06-08 14:53	908
	acl2_3.6.1-2_source.changes.bz2	2010-06-14 11:42	867
	acl2_4.0-3_source.changes.bz2	2010-09-07 01:36	886
	acl2_4.1-2_source.changes.bz2	2010-10-15 12:46	922
	acl2_4.1-3_source.changes.bz2	2010-10-22 18:57	910
	acl2_4.1-4_source.changes.bz2	2010-11-01 15:20	767
	acl2_4.1-5_source.changes.bz2	2010-11-07 13:57	859
	acl2_4.2-1_source.changes.bz2	2011-05-16 22:18	899
	acl2_4.3-3_source.changes.bz2	2012-05-22 02:16	1.1K
	acl2_6.0-2_source.changes.bz2	2013-04-18 00:44	1.0K
	acl2_6.2-6_source.changes.bz2	2013-07-31 16:36	1.2K
	acl2_6.3-5_source.changes.bz2	2013-10-24 20:06	1.1K
	acl2_6.4-2_source.changes.bz2	2014-05-09 02:07	955
	acl2_6.4-3_source.changes.bz2	2014-05-13 17:36	890
	acl2_6.4-4_source.changes.bz2	2014-05-18 20:36	799
	acl2_6.5-2_source.changes.bz2	2014-10-25 11:13	850
	acl2_6.5-5_source.changes.bz2	2014-12-11 02:06	883
	acl2_7.0-1_source.changes.bz2	2015-01-28 05:06	887
	acl2_7.1-1_source.changes.bz2	2015-07-08 02:44	910
	acl2_7.2dfsg-2_source.changes.bz2	2016-05-09 03:35	1.8K
	acl2_7.4dfsg-3.1_source.changes.bz2	2017-10-26 10:39	1.1K
	acl2_8.0dfsg-1_source.changes.bz2	2018-01-31 19:17	1.0K
	acl2_8.0dfsg-1build1_source.changes.bz2	2019-01-27 21:48	829
	acl2_8.1dfsg-3_source.changes.bz2	2019-04-22 14:35	1.0K
	acl2_8.1dfsg-6_source.changes.bz2	2019-12-11 00:05	1.0K
	acl2_8.2dfsg-1_source.changes.bz2	2019-12-21 00:08	927
	acl2_8.2dfsg-3_source.changes.bz2	2020-01-01 14:05	908
	acl2_8.2dfsg-3build1_source.changes.bz2	2020-03-24 12:38	821
	acl2_8.3dfsg-1_source.changes.bz2	2020-08-24 17:35	908
	acl2_8.3dfsg-2_source.changes.bz2	2021-03-29 19:05	1.0K
	acl2_8.4dfsg-2_source.changes.bz2	2021-12-26 09:36	956
	acl2_8.5dfsg-1_source.changes.bz2	2022-08-02 06:06	1.0K
	acl2_8.5dfsg-2_source.changes.bz2	2022-12-24 22:37	920
	acl2_8.5dfsg-3_source.changes.bz2	2023-01-02 01:36	775
	acl2_8.5dfsg-4_source.changes.bz2	2023-01-15 21:27	778
	acl2_8.5dfsg-5_source.changes.bz2	2023-01-18 03:07	839
	acl2_8.5dfsg-5build2_source.changes.bz2	2024-03-29 09:00	899
	acl2_8.5dfsg-5build3_source.changes.bz2	2024-04-11 20:06	870
	acl2_8.5dfsg-6_source.changes.bz2	2024-08-01 00:06	890
	acl2_8.6+dfsg-3_source.changes	2025-05-20 01:37	2.8K