Ubuntu
acl2 package

Publishing history of acl2 6.3-5 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2014-05-09 01:34:00 UTC	Superseded	Utopic	release	universe	math	6.3-5
Removal requested on 2014-05-10. Superseded on 2014-05-09 by acl2 - 6.4-2 Published on 2014-04-23 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2013-10-24 19:13:26 UTC	Published	Trusty	release	universe	math	6.3-5
Published on 2013-10-24 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
		Deleted	Trusty	proposed	universe	math	6.3-5
Removal requested on 2013-10-24. Deleted on 2013-10-24 by Ubuntu Archive Robot moved to release Published on 2013-10-21 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)