Ubuntu
boolector package

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

	Date	Status	Target	Pocket	Component	Section	Version
	2022-11-11 16:44:32 UTC	Superseded	Lunar	release	universe	science	1.5.118.6b56be4.121013-1.1
Superseded on 2022-11-11 by boolector - 1.5.118.6b56be4.121013-1.2 Published on 2022-10-27 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2023-11-13 12:55:48 UTC	Obsolete	Kinetic	release	universe	science	1.5.118.6b56be4.121013-1.1
Removal requested on 2023-11-13. Published on 2022-04-26 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2022-01-03 19:43:27 UTC	Published	Jammy	release	universe	science	1.5.118.6b56be4.121013-1.1
Published on 2022-01-03 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	science	1.5.118.6b56be4.121013-1.1
Removal requested on 2022-01-03. Deleted on 2022-01-03 by Ubuntu Archive Auto-Sync Moved to jammy Published on 2022-01-03 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)