hol-light 20231021-2 source package in Ubuntu
Changelog
hol-light (20231021-2) unstable; urgency=medium * Team upload * Fix build with camlp5 8.03.00 -- Stéphane Glondu <email address hidden> Sun, 30 Jun 2024 10:31:46 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Oracular | release | universe | math |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| hol-light_20231021-2.dsc | 1.8 KiB | 2cf5b999a9e8115c8f1172808550fbb6c8314cba55bba8f6f6d70aecfe5f91c7 |
| hol-light_20231021.orig.tar.xz | 4.8 MiB | b40b15854ea6e2d58d0f992829d9e6a22a5099eaaf02c5fbf4e642337de9995c |
| hol-light_20231021-2.debian.tar.xz | 32.3 KiB | 24c31a2ce03216db6e257dd286e531d3a322ef86fe8eef250d3229e0043e12bc |
Available diffs
No changes file available.
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.
