Debian
acl2 package

Publishing history of acl2 package in Debian

	Date	Status	Target	Pocket	Component	Section	Version
	2023-06-01 16:40:50 UTC	Published	Bookworm	release	main	math	8.5dfsg-5
Published on 2023-06-01 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2023-01-16 10:26:28 UTC	Published	Sid	release	main	math	8.5dfsg-5
Published on 2023-01-16
	2023-01-19 04:42:22 UTC	Superseded	Sid	release	main	math	8.5dfsg-4
Superseded on 2023-01-19 by acl2 - 8.5dfsg-5 Published on 2023-01-14
	2023-01-24 23:54:42 UTC	Superseded	Sid	release	main	math	8.5dfsg-3
Superseded on 2023-01-24 by acl2 - 8.5dfsg-5 Published on 2022-12-30
	2023-01-06 16:41:30 UTC	Superseded	Sid	release	main	math	8.5dfsg-2
Superseded on 2023-01-06 by acl2 - 8.5dfsg-3 Published on 2022-12-22
	2022-12-29 16:41:05 UTC	Superseded	Sid	release	main	math	8.5dfsg-1
Superseded on 2022-12-29 by acl2 - 8.5dfsg-2 Published on 2022-07-27
	2022-08-03 04:42:37 UTC	Superseded	Sid	release	main	math	8.4dfsg-2
Superseded on 2022-08-03 by acl2 - 8.5dfsg-1 Published on 2021-11-01
	2021-11-03 10:52:23 UTC	Superseded	Sid	release	main	math	8.4dfsg-1
Superseded on 2021-11-03 by acl2 - 8.4dfsg-2 Published on 2021-10-28
	2021-11-07 10:40:03 UTC	Superseded	Sid	release	main	math	8.3dfsg-4
Superseded on 2021-11-07 by acl2 - 8.4dfsg-2 Published on 2021-10-11
	2021-10-16 16:40:35 UTC	Superseded	Sid	release	main	math	8.3dfsg-3
Superseded on 2021-10-16 by acl2 - 8.3dfsg-4 Published on 2021-09-14
	2021-07-22 10:36:12 UTC	Published	Bullseye	release	main	math	8.3dfsg-2
Published on 2021-07-22 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2021-12-05 22:42:15 UTC	Superseded	Sid	release	main	math	8.3dfsg-2
Superseded on 2021-12-05 by acl2 - 8.4dfsg-2 Published on 2021-01-27
	2021-01-30 22:45:26 UTC	Superseded	Sid	release	main	math	8.3dfsg-1
Superseded on 2021-01-30 by acl2 - 8.3dfsg-2 Published on 2020-08-24
	2020-08-25 10:39:17 UTC	Superseded	Sid	release	main	math	8.2dfsg-3
Superseded on 2020-08-25 by acl2 - 8.3dfsg-1 Published on 2019-12-31
	2020-01-03 22:43:13 UTC	Superseded	Sid	release	main	math	8.2dfsg-2
Superseded on 2020-01-03 by acl2 - 8.2dfsg-3 Published on 2019-12-27
	2019-12-28 22:43:26 UTC	Superseded	Sid	release	main	math	8.2dfsg-1
Superseded on 2019-12-28 by acl2 - 8.2dfsg-2 Published on 2019-12-19
	2019-12-31 22:48:22 UTC	Superseded	Sid	release	main	math	8.1dfsg-6
Superseded on 2019-12-31 by acl2 - 8.2dfsg-2 Published on 2019-12-09
	2019-12-11 16:47:44 UTC	Superseded	Sid	release	main	math	8.1dfsg-5
Superseded on 2019-12-11 by acl2 - 8.1dfsg-6 Published on 2019-12-08
	2019-12-13 10:38:50 UTC	Superseded	Sid	release	main	math	8.1dfsg-4
Superseded on 2019-12-13 by acl2 - 8.1dfsg-6 Published on 2019-10-31
	2019-12-10 04:41:27 UTC	Superseded	Sid	release	main	math	8.1dfsg-3
Superseded on 2019-12-10 by acl2 - 8.1dfsg-4 Published on 2019-04-04
	2019-04-05 10:41:36 UTC	Superseded	Sid	release	main	math	8.1dfsg-2
Superseded on 2019-04-05 by acl2 - 8.1dfsg-3 Published on 2019-03-30
	2019-04-14 04:38:42 UTC	Superseded	Sid	release	main	math	8.1dfsg-1
Superseded on 2019-04-14 by acl2 - 8.1dfsg-3 Published on 2019-03-03
	2019-02-13 04:47:21 UTC	Published	Buster	release	main	math	8.0dfsg-1
Published on 2019-02-13 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2019-04-14 04:38:42 UTC	Superseded	Sid	release	main	math	8.0dfsg-1
Superseded on 2019-04-14 by acl2 - 8.1dfsg-3 Published on 2018-01-13
	2019-02-13 04:55:50 UTC	Superseded	Buster	release	main	math	7.4dfsg-4
Superseded on 2019-02-13 by acl2 - 8.0dfsg-1 Published on 2017-10-08 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2019-02-08 22:48:09 UTC	Superseded	Sid	release	main	math	7.4dfsg-4
Superseded on 2019-02-08 by acl2 - 8.0dfsg-1 Published on 2017-10-02
	2017-10-08 04:47:04 UTC	Superseded	Buster	release	main	math	7.4dfsg-3.1
Superseded on 2017-10-08 by acl2 - 7.4dfsg-4 Published on 2017-08-14 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2018-06-24 16:46:58 UTC	Superseded	Sid	release	main	math	7.4dfsg-3.1
Superseded on 2018-06-24 by acl2 - 7.4dfsg-4 Published on 2017-08-09
	2017-08-14 04:46:00 UTC	Superseded	Buster	release	main	math	7.4dfsg-3
Superseded on 2017-08-14 by acl2 - 7.4dfsg-3.1 Published on 2017-07-17 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2017-08-13 10:36:48 UTC	Superseded	Sid	release	main	math	7.4dfsg-3
Superseded on 2017-08-13 by acl2 - 7.4dfsg-3.1 Published on 2017-06-09
	2017-07-10 04:24:30 UTC	Superseded	Sid	release	main	math	7.4dfsg-2
Superseded on 2017-07-10 by acl2 - 7.4dfsg-3 Published on 2017-05-31
	2017-06-16 16:22:57 UTC	Superseded	Sid	release	main	math	7.4dfsg-1
Superseded on 2017-06-16 by acl2 - 7.4dfsg-2 Published on 2017-05-10
	2016-10-24 10:42:10 UTC	Published	Stretch	release	main	math	7.2dfsg-3
Published on 2016-10-24 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2017-06-12 04:21:58 UTC	Superseded	Sid	release	main	math	7.2dfsg-3
Superseded on 2017-06-12 by acl2 - 7.4dfsg-1 Published on 2016-10-18
	2016-10-24 11:03:02 UTC	Superseded	Stretch	release	main	math	7.2dfsg-2
Superseded on 2016-10-24 by acl2 - 7.2dfsg-3 Published on 2016-05-18 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2016-10-20 10:38:26 UTC	Superseded	Sid	release	main	math	7.2dfsg-2
Superseded on 2016-10-20 by acl2 - 7.2dfsg-3 Published on 2016-05-04
	2016-05-18 10:31:50 UTC	Superseded	Stretch	release	main	math	7.2dfsg-1
Superseded on 2016-05-18 by acl2 - 7.2dfsg-2 Published on 2016-04-26 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2016-05-17 22:28:40 UTC	Superseded	Sid	release	main	math	7.2dfsg-1
Superseded on 2016-05-17 by acl2 - 7.2dfsg-2 Published on 2016-04-15
	2016-04-26 04:33:51 UTC	Superseded	Stretch	release	main	math	7.1dfsg-2
Superseded on 2016-04-26 by acl2 - 7.2dfsg-1 Published on 2015-11-03 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2016-05-07 10:22:08 UTC	Superseded	Sid	release	main	math	7.1dfsg-2
Superseded on 2016-05-07 by acl2 - 7.2dfsg-1 Published on 2015-10-29
	2015-10-30 16:19:54 UTC	Superseded	Sid	release	main	math	7.1dfsg-1
Superseded on 2015-10-30 by acl2 - 7.1dfsg-2 Published on 2015-10-21
	2015-10-31 04:19:00 UTC	Superseded	Sid	release	main	math	7.1-3
Superseded on 2015-10-31 by acl2 - 7.1dfsg-2 Published on 2015-10-09
	2015-10-11 16:20:59 UTC	Superseded	Sid	release	main	math	7.1-2
Superseded on 2015-10-11 by acl2 - 7.1-3 Published on 2015-10-02
	2015-10-11 04:20:59 UTC	Superseded	Sid	release	main	math	7.1-1
Superseded on 2015-10-11 by acl2 - 7.1-2 Published on 2015-06-01
	2015-11-03 04:27:15 UTC	Superseded	Stretch	release	main	math	6.5-2
Superseded on 2015-11-03 by acl2 - 7.1dfsg-2 Published on 2015-05-04 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2017-05-10 16:24:04 UTC	Superseded	Sid	release	main	math	7.0-1
Superseded on 2017-05-10 by acl2 - 7.2dfsg-3 Published on 2015-01-27
	2015-10-09 22:20:21 UTC	Superseded	Sid	release	main	math	6.5-5
Superseded on 2015-10-09 by acl2 - 7.0-1 Published on 2014-10-27
	2014-10-27 22:29:14 UTC	Superseded	Sid	release	main	math	6.5-4
Superseded on 2014-10-27 by acl2 - 6.5-5 Published on 2014-10-26
	2014-10-28 10:37:31 UTC	Superseded	Sid	release	main	math	6.5-3
Superseded on 2014-10-28 by acl2 - 6.5-5 Published on 2014-10-25
	2014-10-03 16:32:32 UTC	Published	Jessie	release	main	math	6.5-2
Published on 2014-10-03 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2014-11-12 22:27:52 UTC	Superseded	Sid	release	main	math	6.5-2
Superseded on 2014-11-12 by acl2 - 6.5-5 Published on 2014-09-08
	2014-09-09 16:30:43 UTC	Superseded	Sid	release	main	math	6.5-1
Superseded on 2014-09-09 by acl2 - 6.5-2 Published on 2014-08-17
	2014-10-03 16:46:03 UTC	Superseded	Jessie	release	main	math	6.4-4
Superseded on 2014-10-03 by acl2 - 6.5-2 Published on 2014-05-28 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2014-10-03 04:27:41 UTC	Superseded	Sid	release	main	math	6.4-4
Superseded on 2014-10-03 by acl2 - 6.5-2 Published on 2014-05-18
	2014-05-21 04:27:16 UTC	Superseded	Sid	release	main	math	6.4-3
Superseded on 2014-05-21 by acl2 - 6.4-4 Published on 2014-05-13
	2014-05-25 04:26:49 UTC	Superseded	Sid	release	main	math	6.4-2
Superseded on 2014-05-25 by acl2 - 6.4-4 Published on 2014-05-08
	2014-05-18 16:27:08 UTC	Superseded	Sid	release	main	math	6.4-1
Superseded on 2014-05-18 by acl2 - 6.4-2 Published on 2014-05-02
	2014-05-28 04:38:31 UTC	Superseded	Jessie	release	main	math	6.3-6
Superseded on 2014-05-28 by acl2 - 6.4-4 Published on 2013-11-28 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2014-06-04 10:26:35 UTC	Superseded	Sid	release	main	math	6.3-6
Superseded on 2014-06-04 by acl2 - 6.4-4 Published on 2013-11-17
	2013-11-28 16:29:02 UTC	Superseded	Jessie	release	main	math	6.3-5
Superseded on 2013-11-28 by acl2 - 6.3-6 Published on 2013-11-08 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2013-11-28 04:19:36 UTC	Superseded	Sid	release	main	math	6.3-5
Superseded on 2013-11-28 by acl2 - 6.3-6 Published on 2013-10-19
	2013-10-25 22:21:05 UTC	Superseded	Sid	release	main	math	6.3-4
Superseded on 2013-10-25 by acl2 - 6.3-5 Published on 2013-10-17
	2013-10-17 10:23:54 UTC	Superseded	Sid	release	main	math	6.3-3
Superseded on 2013-10-17 by acl2 - 6.3-4 Published on 2013-10-16
	2013-10-17 16:20:38 UTC	Superseded	Sid	release	main	math	6.3-2
Superseded on 2013-10-17 by acl2 - 6.3-4 Published on 2013-10-16
	2013-10-17 16:20:38 UTC	Superseded	Sid	release	main	math	6.3-1
Superseded on 2013-10-17 by acl2 - 6.3-4 Published on 2013-10-04
	2013-11-08 04:28:57 UTC	Superseded	Jessie	release	main	math	6.2-7
Superseded on 2013-11-08 by acl2 - 6.3-5 Published on 2013-09-11 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2013-11-06 22:22:55 UTC	Superseded	Sid	release	main	math	6.2-7
Superseded on 2013-11-06 by acl2 - 6.3-5 Published on 2013-08-08
	2013-09-10 16:21:36 UTC	Superseded	Sid	release	main	math	6.2-6
Superseded on 2013-09-10 by acl2 - 6.2-7 Published on 2013-07-30
	2013-08-29 22:20:44 UTC	Superseded	Sid	release	main	math	6.2-5
Superseded on 2013-08-29 by acl2 - 6.2-6 Published on 2013-07-28
	2013-08-01 04:19:39 UTC	Superseded	Sid	release	main	math	6.2-4
Superseded on 2013-08-01 by acl2 - 6.2-5 Published on 2013-07-24
	2013-07-30 04:23:57 UTC	Superseded	Sid	release	main	math	6.2-3
Superseded on 2013-07-30 by acl2 - 6.2-4 Published on 2013-07-23
	2013-07-27 04:19:43 UTC	Superseded	Sid	release	main	math	6.2-1
Superseded on 2013-07-27 by acl2 - 6.2-3 Published on 2013-07-12
	2013-07-31 10:25:10 UTC	Superseded	Sid	release	main	math	6.1-6
Superseded on 2013-07-31 by acl2 - 6.2-4 Published on 2013-07-03
	2013-07-03 04:20:43 UTC	Superseded	Sid	release	main	math	6.1-5
Superseded on 2013-07-03 by acl2 - 6.1-6 Published on 2013-06-22
	2013-07-13 04:21:32 UTC	Superseded	Sid	release	main	math	6.1-3
Superseded on 2013-07-13 by acl2 - 6.1-6 Published on 2013-05-24