Ubuntu
minisat2 package

Publishing history of minisat2 1:2.2.1-7 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2024-04-06 12:10:12 UTC	Deleted	Noble	updates	universe	science	1:2.2.1-7
Removed from disk on 2024-04-06. Removal requested on 2024-04-05. Deleted on 2024-04-05 by Brian Murray superseded by release Published on 2024-03-30 Copied from Primary Archive for Ubuntu by Ubuntu Archive Robot Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux
	2024-02-27 13:38:17 UTC	Superseded	Noble	release	universe	science	1:2.2.1-7
Removed from disk on 2024-02-28. Removal requested on 2024-02-28. Superseded on 2024-02-27 by minisat2 - 1:2.2.1-8 Published on 2024-02-23 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
	2024-02-28 18:10:15 UTC	Deleted	Noble	proposed	universe	science	1:2.2.1-7
Removed from disk on 2024-02-28. Removal requested on 2024-02-23. Deleted on 2024-02-23 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-02-22 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)