Ubuntu

hol-light binary package in Ubuntu Noble riscv64

HOL Light is an interactive theorem prover for Higher-Order Logic
with a very simple logical core running in an OCaml toplevel. HOL
Light is famous for the verification of floating-point
arithmetic as well as for the Flyspeck project, which aimed at the
formalization of Tom Hales' proof of the Kepler conjecture.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2024-02-20 05:02:07 UTC	Published	Ubuntu Noble riscv64	release	universe	math	Optional	20231021-1build4
Published on 2024-02-20 Copied from ubuntu noble-proposed riscv64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Noble riscv64	proposed	universe	math	Optional	20231021-1build4
Removal requested on 2024-02-20. Deleted on 2024-02-20 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-02-20
	2024-02-20 05:02:52 UTC	Superseded	Ubuntu Noble riscv64	release	universe	math	Optional	20231021-1build3
Removed from disk on 2024-02-21. Removal requested on 2024-02-21. Superseded on 2024-02-20 by riscv64 build of hol-light 20231021-1build4 in ubuntu noble PROPOSED Published on 2024-02-19 Copied from ubuntu noble-proposed riscv64 in Primary Archive for Ubuntu
	2024-02-21 06:10:17 UTC	Deleted	Ubuntu Noble riscv64	proposed	universe	math	Optional	20231021-1build3
Removed from disk on 2024-02-21. Removal requested on 2024-02-19. Deleted on 2024-02-19 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-02-19
	2024-02-19 15:57:20 UTC	Superseded	Ubuntu Noble riscv64	release	universe	math	Optional	20231021-1build2
Removed from disk on 2024-02-20. Removal requested on 2024-02-20. Superseded on 2024-02-19 by riscv64 build of hol-light 20231021-1build3 in ubuntu noble PROPOSED Published on 2024-02-17 Copied from ubuntu noble-proposed riscv64 in Primary Archive for Ubuntu
	2024-02-20 18:10:24 UTC	Deleted	Ubuntu Noble riscv64	proposed	universe	math	Optional	20231021-1build2
Removed from disk on 2024-02-20. Removal requested on 2024-02-17. Deleted on 2024-02-17 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-02-17
	2024-02-17 10:58:10 UTC	Superseded	Ubuntu Noble riscv64	release	universe	math	Optional	20231021-1build1
Removed from disk on 2024-02-18. Removal requested on 2024-02-18. Superseded on 2024-02-17 by riscv64 build of hol-light 20231021-1build2 in ubuntu noble PROPOSED Published on 2023-12-15 Copied from ubuntu noble-proposed riscv64 in Primary Archive for Ubuntu
	2024-02-18 12:10:13 UTC	Deleted	Ubuntu Noble riscv64	proposed	universe	math	Optional	20231021-1build1
Removed from disk on 2024-02-18. Removal requested on 2023-12-15. Deleted on 2023-12-15 by Ubuntu Archive Auto-Sync Moved to noble Published on 2023-12-15
	2023-12-15 13:33:37 UTC	Superseded	Ubuntu Noble riscv64	release	universe	math	Optional	20231021-1
Removed from disk on 2024-01-13. Removal requested on 2023-12-16. Superseded on 2023-12-15 by riscv64 build of hol-light 20231021-1build1 in ubuntu noble PROPOSED Published on 2023-11-25 Copied from ubuntu noble-proposed riscv64 in Primary Archive for Ubuntu
	2024-01-13 06:10:15 UTC	Deleted	Ubuntu Noble riscv64	proposed	universe	math	Optional	20231021-1
Removed from disk on 2024-01-13. Removal requested on 2023-11-25. Deleted on 2023-11-25 by Ubuntu Archive Auto-Sync Moved to noble Published on 2023-11-05
	2023-11-25 08:38:20 UTC	Superseded	Ubuntu Noble riscv64	release	universe	math	Optional	20230128-2
Removal requested on 2023-11-26. Superseded on 2023-11-25 by riscv64 build of hol-light 20231021-1 in ubuntu noble PROPOSED Published on 2023-10-23 Copied from ubuntu mantic-proposed riscv64 in Primary Archive for Ubuntu

Source package

hol-light package in Ubuntu