hol-light 20231021-1build4 source package in Ubuntu
Changelog
hol-light (20231021-1build4) noble; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Mon, 19 Feb 2024 19:39:39 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Noble
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Noble | release | universe | math |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| hol-light_20231021.orig.tar.xz | 4.8 MiB | b40b15854ea6e2d58d0f992829d9e6a22a5099eaaf02c5fbf4e642337de9995c |
| hol-light_20231021-1build4.debian.tar.xz | 10.7 KiB | 2e96b164ffbf74145dae9613fbc83e3e6112d8f912aad921b2714d818b0a8712 |
| hol-light_20231021-1build4.dsc | 2.0 KiB | 1d848aeba15743f4df229303763d0555dbee8fb3d6641264d66ca4a9b2023f4d |
Available diffs
- diff from 20231021-1build3 to 20231021-1build4 (313 bytes)
Binary packages built by this source
- hol-light: HOL Light theorem prover
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.
