Format: 1.8 Date: Sun, 10 Nov 2013 20:37:21 +0100 Source: hol-light Binary: hol-light Architecture: amd64 Version: 20131026-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description: hol-light - HOL Light theorem prover Changes: hol-light (20131026-1) unstable; urgency=low . * new upstream version revision 177 from 2013-10-26 * use new pa_j and adjust camlp5 dependencies * delete executable bit of RichterHilbertAxiomGeometry/Topology.ml during installation Checksums-Sha1: b3513be2b113d6f4f44d8e3b4d57c37f81ee5c93 4230100 hol-light_20131026-1_amd64.deb Checksums-Sha256: 71c971406171f68c3e7948428b7841c82124eccb241e97c9169ae8b6a681442d 4230100 hol-light_20131026-1_amd64.deb Files: d24e9ab3e692bd7317dad84e9cef0fec 4230100 math extra hol-light_20131026-1_amd64.deb