Accepted hol-light 20170109-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 09 Jan 2017 23:27:28 +0100
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20170109-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 (20170109-1) unstable; urgency=low
.
[ Mehdi Dogguy ]
* Update watch file
.
[ Hendrik Tews ]
* Imported Upstream version 20170109
with git hash f468686c09996f77ccfa98c30ba98f8db2c8cfd9
* update copyright, patches, README.Debian
* standards-version 3.9.8; update Vcs fields
* disable building the Mizarlight syntax extension (fails upstream with
OCaml 4.02 - already reported to John Harrison)
* clear exec bit fix on RichterHilbertAxiomGeometry/Topology.ml (fixed
upstream)
* add exec bit fixes for Help/HYP_TAC.doc,
RichterHilbertAxiomGeometry/TarskiAxiomGeometry_read.ml and
Multivariate/cvectors.ml
* don't install jar files in Proofrecording/tools
* add patch cd-holtest-parallel to fix current directory in parallel
test
Checksums-Sha1:
59f9c0b5b270dcde41ba286b25a914a8d4468f45 2044 hol-light_20170109-1.dsc
569b1cb1f4a0a3e18243dd37721c7ef4058d64ef 6077715 hol-light_20170109.orig.tar.gz
723740955594d45e268fe07c85f742bc2409420d 9140 hol-light_20170109-1.debian.tar.xz
Checksums-Sha256:
bde3a616e2460a0b63a7ead9c328f9695f33aa51df05898600c9c7ef940a4786 2044 hol-light_20170109-1.dsc
88f2d949d7a35ed6d9f14642d21dc9ef5765f1d50f400e31d74c6ee70aa8a2ea 6077715 hol-light_20170109.orig.tar.gz
6f6ef907863c1744de3b9ef2c53091604a27e3a55d8636c5b632502c273d1e8a 9140 hol-light_20170109-1.debian.tar.xz
Files:
4a9ea05f5c7dd7c2821f8f1ea1788705 2044 math extra hol-light_20170109-1.dsc
5b87d7adf25aec8374a8f26b82912dfe 6077715 math extra hol-light_20170109.orig.tar.gz
6eaa704bd5773348edfdb2da3ec9a174 9140 math extra hol-light_20170109-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlh7W0sACgkQdFxHZtTK
zf9gug/+PY3U0vMU+kTwhv1YNuxoXVVcOQj+wnsBN1AmUKQPigR6Nu8c2gvyv9RI
3yXN5T7asMBuiQfIKoBtH06H4qoVtjqMH2RdIUiWmUcIpqF0JhPBpkg9JhxVphF9
OCHOq6Cp1t4JVCQVlISQ3FyJ4G4Ox6mu89ya/SddDvYQOHlqlsWjghRxN5f4wgMo
JP4KVoao7yL9W/TUICphRCNagNxLukGBbjO+85VRClyGx/yCf0bJbSq/kkpymoDv
TVqB0KHiDuD+D1Jsr3V+ofrmfm+KoqkYLwG/Xry4uP6vG9hBGqYVAuduVr39JQL6
W+P6ncevsYvKbDv0SvcKPtXcixo6ljiZiq6rl6zpyucRZ0cvHWqf9Hpq2wrmVfuM
1hE0uCB850NyEN9dYfVcPcuiU9saE26Jyxxx/p/NVtxf3VsPgl+mg6xjTyO1RHVe
eg3XfbCC/SsMW6cCsB1TUTbyC5wmZegFESXlhjVYCxGOvqFRXCzwGTVZvgzo7G/P
7mfd24OW0RxCWYc4C0zh97+yrzkjo61C9+DIucu7a3+e5X3gBO4SP6yFsx3sBxgJ
91YqPVwDfx7WA9GU77uE/QoJAR+kN9a+Ck/tQvMe4eAM7tm8y7LxpLlj/6yKAOYK
aNrL/+iRXkJ3rKCaWziYth9GdPK/vRMzgPUj7mMeuQL2OytsXeo=
=ftlj
-----END PGP SIGNATURE-----