Package: hol-light
Architecture: amd64
Version: 1:3.0.0-2build7
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 45840
Depends: camlp5, camlp5-oucb1, libcamlp-streams-ocaml-dev-41xt0, libcompiler-libs-ocaml-dev-zmcm4, libstdlib-ocaml-dev-fxjy5, libzarith-ocaml-dev-f1se9, ocaml-5.3.0
Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev, python
Filename: pool/universe/h/hol-light/hol-light_3.0.0-2build7_amd64.deb
Size: 5832248
MD5sum: 1d312de1a64f36a708422f0138f881bb
SHA1: 7eadc7526167274564a42f166a5a337d5a5c11d8
SHA256: 5c24ab811ce5f8a665dfc54e4ec73170b89958ed4cb6b2119327c4d42e7c81eb
SHA512: 819f8f5584c75a1e0e3ec3ae9a757a1a8089e914e005138077d3ebbd2b671ee3784c12f941a9ae3016bbb86543b6571aa3088db063bc3c3ab4dd8d0dbc8c12c1
Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/
Description: HOL Light theorem prover
Description-md5: 4a69d13e99a5d21da7555a1ffc45abd5