Ubuntu
acl2 package

Publishing history of acl2 package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2006-11-08 07:04:10 UTC	Superseded	Feisty	release	universe	math	3.0-1
Removed from disk on 2006-11-13. Removal requested on 2006-11-13. Superseded on 2006-11-08 by acl2 - 3.0.1-8 Published on 2006-10-26 Copied from ubuntu edgy in Primary Archive for Ubuntu
	2008-06-19 21:13:26 UTC	Obsolete	Edgy	release	universe	math	3.0-1
Removed from disk on 2008-06-20. Removal requested on 2008-06-19. Published on 2006-06-15
	2006-06-15 18:06:30 UTC	Superseded	Edgy	release	universe	math	2.9.3-7
Removed from disk on 2011-10-26. Removal requested on 2011-10-26. Superseded on 2006-06-15 by acl2 - 3.0-1 Published on 2006-06-08 Copied from ubuntu dapper in Primary Archive for Ubuntu
	2011-09-06 12:39:50 UTC	Obsolete	Dapper	release	universe	math	2.9.3-7
Removed from disk on 2011-10-26. Removal requested on 2011-09-06. Published on 2006-02-03
	2006-02-03 23:24:29 UTC	Superseded	Dapper	release	universe	math	2.9.3-7
Removed from disk on 2006-05-04. Removal requested on 2006-05-04. Superseded on 2006-02-03 by acl2 - 2.9.3-7 Published on 2005-12-21
	2008-03-25 11:08:40 UTC	Obsolete	Breezy	release	universe	math	2.9.3-5build1
Removed from disk on 2008-03-25. Removal requested on 2008-03-25. Published on 2005-12-21
	2008-03-19 17:49:08 UTC	Obsolete	Hoary	release	universe	math	2.9-2
Removed from disk on 2008-03-19. Removal requested on 2008-03-19. Published on 2005-12-20
	2008-01-09 18:47:02 UTC	Obsolete	Warty	release	universe	math	2.8-4
Removed from disk on 2008-01-09. Removal requested on 2008-01-09. Published on 2005-12-20