hol-light 20231021-1build7 source package in Ubuntu
Changelog
hol-light (20231021-1build7) oracular; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Thu, 13 Jun 2024 10:49:18 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Oracular
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
hol-light_20231021.orig.tar.xz | 4.8 MiB | b40b15854ea6e2d58d0f992829d9e6a22a5099eaaf02c5fbf4e642337de9995c |
hol-light_20231021-1build7.debian.tar.xz | 10.8 KiB | 4cdd8ef79076190c26ebc07f97ace999b8d3d0ddad8379ad7489cad3721d1d61 |
hol-light_20231021-1build7.dsc | 2.0 KiB | 267c60bf04a3ba972f62a11536b2bf05d7efa3359d8a07a18cc4a003b5014b20 |
Available diffs
- diff from 20231021-1build5 to 20231021-1build7 (334 bytes)
- diff from 20231021-1build6 to 20231021-1build7 (317 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.