-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 29 Jul 2019 14:54:22 +0200
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20190729-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
hol-light - HOL Light theorem prover
Changes:
hol-light (20190729-1) unstable; urgency=medium
.
* Team Upload
* Cherry-pick changes from git:
- add python runtime dependency
- bump compat level to 10
- README.debian: updated
- udpate std-version to 4.4.0
* Fix lintian warning about trailing whitespace
* Fix lintian warning about not honouring nocheck test DH parameter
* Fix lintian warning about deprecated extra priority.
* update VCS fields to new location
* remove trailing newlines
* update changelog with missing changelog entry
* Ack previous NMU
Checksums-Sha1:
295c05abb4639e1f0f5eabed9de81d6d8e3dd7a8 1999 hol-light_20190729-1.dsc
78a00734637a1cb7312c4c3cf71f7efca559dee1 6959546 hol-light_20190729.orig.tar.gz
d65d7d2ccf91ebc04ed9aa26f25d98504e37e08d 10112 hol-light_20190729-1.debian.tar.xz
07c1617b2b2f118cf34a63add30e71bbdaf23367 7322 hol-light_20190729-1_source.buildinfo
Checksums-Sha256:
d1ddfe8ae8599aaa5536a1bd04ca00fcf316c43d5ba3c446148a39d2929ae862 1999 hol-light_20190729-1.dsc
88cfcdd1430d963b9fc63960829e1a5f7c08df98ed92b3765cff51691dbfe75a 6959546 hol-light_20190729.orig.tar.gz
1f112d47bb0810050dafa976c0e927bf7cc8616957abf52764ecad236f50a5a7 10112 hol-light_20190729-1.debian.tar.xz
2b77e1c527700a81b1eafec2facf178ee156d515cc7a31ec498bfd24dc3a2297 7322 hol-light_20190729-1_source.buildinfo
Files:
22169670ea1d1c6947954a3f6b776762 1999 math optional hol-light_20190729-1.dsc
9a8813a63d883e10c5b52c36b93ee9b0 6959546 math optional hol-light_20190729.orig.tar.gz
d4aa1af033163b2c5f30ba529904afb5 10112 math optional hol-light_20190729-1.debian.tar.xz
ff81bc14255d70a2173f2490b6a92670 7322 math optional hol-light_20190729-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl0+8mMACgkQ808JdE6f
XdkNARAA3tQyYGhiWw6z2nkbuFdoOcqftFUXPnvUtumlO+Mz5mEKva4G9ccbwEYL
Mljbk86IeJ1ZHPmUeSmF07DnMiVIjVJsjtOPCZEwx4VygvkgRBB/OuMQ9XWsODH/
99eL+sWZnKK31ntbdsFtBXWvfTC7rTwGYZuCuRy/U0nHlwnKz7X0HcURK3TGrNAw
g5SfZMYOh4Qnp46e2lGQ2ZNAfCPoQCY63eunkAcSnvZikPvsyPaoP3p5f15NlEaB
ppMRH7p0enNg0fie24LCBXAGQLAubNKDjcCAxtjSYINRF4ZnRaae/+c0ML5GzRuK
rc6IPP2C/f4djuJ80V+HXp7/YppIoX34RuV7Y8dwfaVUWmPaY1s4G0bsQbBVzQPu
dHnlejZnyPCgUbZqLhc3erSDrDfiM/3XwzUWXcy/yerxxZuX7fbyJkZhBKFY1Oao
1nJL7cjdBFd+0h1KkKJnXJIox5hY3aP5amc5MmNMor6op0kQtWYHFJx9sWPrkERW
BE3TuRRUUs4Yhq0aPRmNOksb1WbxI6pGEthxZpAybiyPNnu/7HEd0/r5/OIemwQe
DXe67egYry5lB3I+msNW+vcMhcqtNNqU1Vr/0QgmLZd9YTixAL+qjwrtnoeDh40r
Sh+ad9NUReGSlnHyZr8IwHgy5746qSKK5kfI3QCExN4GulhRiiE=
=NvFR
-----END PGP SIGNATURE-----
