Accepted hol-light 20131026-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 10 Nov 2013 20:37:21 +0100
Source: hol-light
Binary: hol-light
Architecture: source 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:
b7fd73a6948d5e94c5badccb226f3deb8431b934 2037 hol-light_20131026-1.dsc
7673e096a7514a93b0a6a654cb2a94d6d717d66c 3261007 hol-light_20131026.orig.tar.bz2
cb0bdb22c11c0396b9507fa3902497284c6c1a28 8482 hol-light_20131026-1.debian.tar.gz
85be58bca5236e67ed728808eceaa3a94f8427c5 3018502 hol-light_20131026-1_amd64.deb
Checksums-Sha256:
6f4486d1175e1f2922d2f75357ed53e6d26c96d067e554546598f8be5e5c4b36 2037 hol-light_20131026-1.dsc
17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888 3261007 hol-light_20131026.orig.tar.bz2
da68764a28068477ea73bb00cb2f684888a44bd874e99929d7ebb5306c92eca8 8482 hol-light_20131026-1.debian.tar.gz
8cc3c474704461efefd25902d59625538e7e0166dc74fb64492905d7e3d10bff 3018502 hol-light_20131026-1_amd64.deb
Files:
979a8b5c724fb07a243bd65c489cbb25 2037 math extra hol-light_20131026-1.dsc
cae02c5f4d039426f6769caf9400761f 3261007 math extra hol-light_20131026.orig.tar.bz2
9f22951b853bf90883bcaa8819eb6cef 8482 math extra hol-light_20131026-1.debian.tar.gz
4b9d3a70dff12050847b0ea288c72544 3018502 math extra hol-light_20131026-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCgAGBQJSjpIhAAoJEHhT2k1JiBrTL3YP/25s9r2ovYMtDK/lJ6JwAFjy
pKIyfvM3oVgCZ6zS9nw62McHP7ZPuooYzOJLLxZqmaEU8u9c3Stvhy+GCl9Wm8qb
pS7VIW+SUE5hH7OSsPy4aU7+RQfTLr3/aFMNQoT/rSVDB+oBbz2RQq6UdXEs5SaZ
8Xrb9DyU9SvSRMnVGSzy1jUc9yDFUkJ6/sbtA/Rrfh612CcSW1myXhSWK2y1Bq65
1cX2YUHpDhfC6XLW87YLfbfHKLour4mhmJPYXYd8LP9e9fn6Ibu7A6LOTYopsyHS
Axv6URdeSws4uF36Nj5pw87IU1xqENt4j9EUmT7nwDDb+8XRXzmGf7aQy/F1CEzl
s6kHRa50TghEx9+N9UiTwpvvIu1xObJqR2Xp6XPr/udX9TCpXLY0Lj4vG5aPuRIx
Lf9bfDCF87s9s+u+M8CAfnFQYS8lGTMqnlUzt9r3DkTGxpbUD51CTK9PiFaH9wBA
znyiikcAqn4aEjZAvh7XFwFHZmjKFPT0ZIdsJYUzu6Ea+i/gxwSt1y0onqzGlXP7
eaMaEVC5b+X2b6ZicXuG+rjTni3sgX70S0D5QXyScHbcjlBTJDDUAsMcJFTdg7s1
AN4MreUh38Du/3gGvrNKcJYRbgxRWxusMr990s/MjjuSwFcImjVZBO2Jd3G1+GbS
E9k9Cf2Hbi52OrVwzR8l
=vO2p
-----END PGP SIGNATURE-----