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 <debian-ocaml-maint@lists.debian.org>
Changed-By: Hendrik Tews <hendrik@askra.de>
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