Ubuntu
acl2 package

Publishing history of acl2 8.1dfsg-6 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2019-12-20 21:28:34 UTC	Superseded	Focal	release	universe	math	8.1dfsg-6
Removed from disk on 2019-12-22. Removal requested on 2019-12-21. Superseded on 2019-12-20 by acl2 - 8.2dfsg-1 Published on 2019-12-10 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
	2019-12-22 00:10:08 UTC	Deleted	Focal	proposed	universe	math	8.1dfsg-6
Removed from disk on 2019-12-22. Removal requested on 2019-12-10. Deleted on 2019-12-10 by Ubuntu Archive Robot moved to Release Published on 2019-12-09 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)