Ubuntu
acl2 package

Publishing history of acl2 8.3dfsg-2 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2021-12-26 08:29:04 UTC	Superseded	Jammy	release	universe	math	8.3dfsg-2
Superseded on 2021-12-26 by acl2 - 8.4dfsg-2 Published on 2021-10-15 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2022-07-23 18:02:57 UTC	Obsolete	Impish	release	universe	math	8.3dfsg-2
Removal requested on 2022-07-23. Published on 2021-04-23 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2022-07-23 01:40:00 UTC	Obsolete	Hirsute	release	universe	math	8.3dfsg-2
Removal requested on 2022-07-23. Published on 2021-03-29 Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot) Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux
		Deleted	Hirsute	proposed	universe	math	8.3dfsg-2
Removal requested on 2021-03-29. Deleted on 2021-03-29 by Ubuntu Archive Auto-Sync Moved to hirsute Published on 2021-01-27 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)