-----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-ma...@lists.debian.org> Changed-By: Hendrik Tews <hend...@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-----