Ubuntu
acl2 package

Publishing history of acl2 6.2-6 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2013-10-24 19:16:48 UTC	Superseded	Trusty	release	universe	math	6.2-6
Removed from disk on 2015-05-01. Removal requested on 2013-10-25. Superseded on 2013-10-24 by acl2 - 6.3-5 Published on 2013-10-18 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2015-04-24 12:50:55 UTC	Obsolete	Saucy	release	universe	math	6.2-6
Removed from disk on 2015-04-28. Removal requested on 2015-04-24. Published on 2013-07-31 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
	2015-04-28 07:58:07 UTC	Deleted	Saucy	proposed	universe	math	6.2-6
Removed from disk on 2015-04-28. Removal requested on 2013-07-31. Deleted on 2013-07-31 by Ubuntu Archive Robot moved to release Published on 2013-07-31 Copied from debian sid in Primary Archive for Debian GNU/Linux by Colin Watson