Package: hol-light Priority: optional Section: universe/math Installed-Size: 21895 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Version: 20131026-1build2 Depends: camlp5, camlp5-tli55, ocaml-nox-4.02.3 Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev Filename: pool/universe/h/hol-light/hol-light_20131026-1build2_amd64.deb Size: 2887654 MD5sum: 5b8716c88cbefd984caef782357c65cc SHA1: f4925c06772afbb164ddff045ae452746461f0fa SHA256: 51fa547e4691de77867336cb4822a0721c354099355d7130773d8ce13abf2f30 Description: HOL Light theorem prover Homepage: http://www.cl.cam.ac.uk/~jrh13/hol-light/ Description-md5: dd99a4d17d1f2693631036e77802a382 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu