hol-light 20131026-1build1 source package in Ubuntu
Changelog
hol-light (20131026-1build1) trusty; urgency=medium * Rebuild for ocaml-4.01. -- Matthias Klose <email address hidden> Mon, 23 Dec 2013 16:16:11 +0000
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Trusty
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Trusty | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
hol-light_20131026.orig.tar.bz2 | 3.1 MiB | 17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888 |
hol-light_20131026-1build1.debian.tar.gz | 8.3 KiB | fe7bdf891fe013ba8aee08fa413abb74933027af6fc626804e1e1309840ed700 |
hol-light_20131026-1build1.dsc | 1.4 KiB | 9b2b1785b3769d505293b271234e06d4ddbeeb337958741088d9a14d64440142 |
Available diffs
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 aims at the
formalization of Tom Hales' proof of the Kepler conjecture.