Package: hol-light Architecture: amd64 Version: 20170706-0ubuntu4 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: 32877 Depends: camlp5, camlp5-ps9p6, ocaml-nox-4.05.0 Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev Filename: pool/universe/h/hol-light/hol-light_20170706-0ubuntu4_amd64.deb Size: 4202040 MD5sum: 45b9831693c2d2189203eaa5a8da0e24 SHA1: 4840d779634eeb16b4561713aa1d8b9142ca128f SHA256: fa7b446bbf9ca4de04a6858bcbcc27c883929cd33a11739ba92387363ca7ad27 Homepage: http://www.cl.cam.ac.uk/~jrh13/hol-light/ Description: HOL Light theorem prover Description-md5: dd99a4d17d1f2693631036e77802a382