deb_control_files:
- control
- md5sums
- postinst
- postrm
deb_fields:
Architecture: amd64
Depends: camlp5, camlp5-zvv96, libcamlp-streams-ocaml-dev-yu0z3, libcompiler-libs-ocaml-dev-rcwc4,
libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1
Description: |-
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.
Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/
Installed-Size: '45473'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: hol-light
Priority: optional
Section: math
Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev,
python
Version: 20231021-2
srcpkg_name: hol-light
srcpkg_version: 20231021-2