Ubuntu

acl2 binary package in Ubuntu Hirsute arm64

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2022-07-23 01:40:00 UTC	Obsolete	Ubuntu Hirsute arm64	release	universe	math	Optional	8.3dfsg-2
Removed from disk on 2022-07-24. Removal requested on 2022-07-23. Published on 2021-03-29 Copied from ubuntu hirsute-proposed arm64 in Primary Archive for Ubuntu
	2022-07-24 00:10:09 UTC	Deleted	Ubuntu Hirsute arm64	proposed	universe	math	Optional	8.3dfsg-2
Removed from disk on 2022-07-24. Removal requested on 2021-03-29. Deleted on 2021-03-29 by Ubuntu Archive Auto-Sync Moved to hirsute Published on 2021-03-29
	2021-03-29 17:19:12 UTC	Superseded	Ubuntu Hirsute arm64	release	universe	math	Optional	8.3dfsg-1
Removed from disk on 2021-12-23. Removal requested on 2021-03-30. Superseded on 2021-03-29 by arm64 build of acl2 8.3dfsg-2 in ubuntu hirsute PROPOSED Published on 2020-10-23 Copied from ubuntu groovy-proposed arm64 in Primary Archive for Ubuntu