Ubuntu
boolector package

Publishing history of boolector 1.5.118.6b56be4.121013-1.2 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2022-11-12 21:19:20 UTC	Superseded	Lunar	release	universe	science	1.5.118.6b56be4.121013-1.2
Removed from disk on 2022-11-14. Removal requested on 2022-11-13. Superseded on 2022-11-12 by boolector - 1.5.118.6b56be4.121013-1.3 Published on 2022-11-11 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
	2022-11-14 00:10:11 UTC	Deleted	Lunar	proposed	universe	science	1.5.118.6b56be4.121013-1.2
Removed from disk on 2022-11-14. Removal requested on 2022-11-11. Deleted on 2022-11-11 by Ubuntu Archive Auto-Sync Moved to lunar Published on 2022-11-11 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)