Ubuntu
acl2 package

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

	Date	Status	Target	Pocket	Component	Section	Version
	2022-08-02 04:49:07 UTC	Superseded	Kinetic	release	universe	math	8.4dfsg-2
Removal requested on 2023-11-13. Superseded on 2022-08-02 by acl2 - 8.5dfsg-1 Published on 2022-04-26 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2021-12-26 08:28:37 UTC	Published	Jammy	release	universe	math	8.4dfsg-2
Published on 2021-12-26 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	Jammy	proposed	universe	math	8.4dfsg-2
Removal requested on 2021-12-26. Deleted on 2021-12-26 by Ubuntu Archive Auto-Sync Moved to jammy Published on 2021-11-01 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)