Format: 1.8
Date: Sun, 10 Nov 2013 20:37:21 +0100
Source: hol-light
Binary: hol-light
Architecture: arm64
Version: 20131026-1
Distribution: trusty-proposed
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@magic.buildd>
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: 
 2cf056cca7d72b1f3435011db8ce22605cb7b3d0 2870228 hol-light_20131026-1_arm64.deb
Checksums-Sha256: 
 42aee8c2b9d67d44518743cc2cf6254e1827c5de3f9644459a9effdbdd64eb1d 2870228 hol-light_20131026-1_arm64.deb
Files: 
 efc3b1e28681d29fe40154ecb1a055b6 2870228 math extra hol-light_20131026-1_arm64.deb