Debian
acl2 package

Publishing history of acl2 package in Debian

	Date	Status	Target	Pocket	Component	Section	Version
	2013-05-24 22:27:36 UTC	Superseded	Sid	release	main	math	6.1-2
Superseded on 2013-05-24 by acl2 - 6.1-3 Published on 2013-05-22
	2013-08-30 04:23:20 UTC	Superseded	Sid	release	main	math	6.1-1
Superseded on 2013-08-30 by acl2 - 6.2-6 Published on 2013-05-13
	2013-09-11 04:29:25 UTC	Superseded	Jessie	release	main	math	6.0-2
Superseded on 2013-09-11 by acl2 - 6.2-7 Published on 2013-05-06 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2014-05-03 10:31:30 UTC	Superseded	Sid	release	main	math	6.0-2
Superseded on 2014-05-03 by acl2 - 6.3-6 Published on 2013-01-14
	2013-01-15 16:27:00 UTC	Superseded	Sid	release	main	math	6.0-1
Superseded on 2013-01-15 by acl2 - 6.0-2 Published on 2013-01-13
	2013-01-15 16:27:00 UTC	Superseded	Sid	release	main	math	5.0-1
Superseded on 2013-01-15 by acl2 - 6.0-2 Published on 2012-08-25
	2012-05-05 09:26:47 UTC	Published	Wheezy	release	main	math	4.3-3
Published on 2012-05-05 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2012-08-30 04:24:24 UTC	Superseded	Sid	release	main	math	4.3-3
Superseded on 2012-08-30 by acl2 - 5.0-1 Published on 2012-04-21
	2012-05-05 09:36:42 UTC	Superseded	Wheezy	release	main	math	4.3-2
Superseded on 2012-05-05 by acl2 - 4.3-3 Published on 2012-02-01 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2012-08-26 04:42:05 UTC	Superseded	Sid	release	main	math	4.3-2
Superseded on 2012-08-26 by acl2 - 4.3-3 Published on 2012-01-23
	2012-01-24 03:31:19 UTC	Superseded	Sid	release	main	math	4.3-1
Superseded on 2012-01-24 by acl2 - 4.3-2 Published on 2012-01-12
	2012-02-01 21:37:19 UTC	Superseded	Wheezy	release	main	math	4.2-1
Superseded on 2012-02-01 by acl2 - 4.3-2 Published on 2011-05-25 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2012-02-01 09:33:14 UTC	Superseded	Sid	release	main	math	4.2-1
Superseded on 2012-02-01 by acl2 - 4.3-2 Published on 2011-05-15
	2011-09-21 08:09:15 UTC	Superseded	Wheezy	release	main	math	4.1-5
Superseded on 2011-09-21 by acl2 - 4.2-1 Published on 2011-02-07 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	4.1-5
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-11-06
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	4.1-4
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-11-01
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	4.1-3
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-10-21
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	4.1-2
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-09-26
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	4.1-1
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-09-06
	2010-07-24 14:09:46 UTC	Published	Squeeze	release	main	math	4.0-3
Published on 2010-07-24 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	4.0-3
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-07-10
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	4.0-2
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-07-09
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	4.0-1
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-07-08
	2011-09-13 09:25:23 UTC	Superseded	Squeeze	release	main	math	3.6.1-2
Superseded on 2011-09-13 by acl2 - 4.0-3 Published on 2010-06-26 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	3.6.1-2
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-06-11
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	3.6.1-1
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-06-08
	2011-09-13 09:25:23 UTC	Superseded	Squeeze	release	main	math	3.6-4
Superseded on 2011-09-13 by acl2 - 4.0-3 Published on 2010-01-31 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	3.6-4
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-01-12
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	3.6-3
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-01-05
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	3.6-2
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2010-01-04
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	3.6-1
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2009-12-21
	2011-09-13 09:25:23 UTC	Superseded	Squeeze	release	main	math	3.4-2
Superseded on 2011-09-13 by acl2 - 4.0-3 Published on 2009-07-15 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	3.4-2
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2009-02-24
	2011-09-20 16:30:42 UTC	Superseded	Sid	release	main	math	3.4-1
Superseded on 2011-09-20 by acl2 - 4.2-1 Published on 2008-10-29
		Deleted	Lenny	release	main	math	3.1-1
Deleted on 2011-09-23 by Published on 2008-10-29

«back

Debianacl2 package

Publishing history of acl2 package in Debian

Debian
acl2 package