Ubuntu
z3 package

Publishing history of z3 4.8.12-3.1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2024-04-23 09:03:44 UTC	Superseded	Noble	release	universe	misc	4.8.12-3.1
Superseded on 2024-04-23 by z3 - 4.8.12-3.1build1 Published on 2023-10-23 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2023-04-25 12:10:09 UTC	Published	Mantic	release	universe	misc	4.8.12-3.1
Published on 2023-04-25 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2023-02-06 01:14:19 UTC	Published	Lunar	release	universe	misc	4.8.12-3.1
Published on 2023-02-06 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	Lunar	proposed	universe	misc	4.8.12-3.1
Removal requested on 2023-02-06. Deleted on 2023-02-06 by Ubuntu Archive Auto-Sync Moved to lunar Published on 2023-02-04 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)