Ubuntu

why3 binary package in Ubuntu Kinetic riscv64

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2023-11-13 12:55:48 UTC	Obsolete	Ubuntu Kinetic riscv64	release	universe	math	Optional	1.5.0-1build1
Removed from disk on 2024-01-10. Removal requested on 2023-11-13. Published on 2022-05-15 Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
	2024-01-10 18:10:16 UTC	Deleted	Ubuntu Kinetic riscv64	proposed	universe	math	Optional	1.5.0-1build1
Removed from disk on 2024-01-10. Removal requested on 2022-05-15. Deleted on 2022-05-15 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-05-14
	2022-05-15 13:25:32 UTC	Superseded	Ubuntu Kinetic riscv64	release	universe	math	Optional	1.5.0-1
Removed from disk on 2022-05-16. Removal requested on 2022-05-16. Superseded on 2022-05-15 by riscv64 build of why3 1.5.0-1build1 in ubuntu kinetic PROPOSED Published on 2022-05-12 Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
	2022-05-16 18:10:09 UTC	Deleted	Ubuntu Kinetic riscv64	proposed	universe	math	Optional	1.5.0-1
Removed from disk on 2022-05-16. Removal requested on 2022-05-12. Deleted on 2022-05-12 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-05-03
	2022-05-03 18:54:01 UTC	Superseded	Ubuntu Kinetic riscv64	proposed	universe	math	Optional	1.4.1-2
Removed from disk on 2022-05-05. Removal requested on 2022-05-04. Superseded on 2022-05-03 by riscv64 build of why3 1.5.0-1 in ubuntu kinetic PROPOSED Published on 2022-05-01