Accepted hol-light 20190729-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 29 Jul 2019 15:24:03 +0200
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20190729-2
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-2) unstable; urgency=medium
.
* Team upload.
* Fix bad license in copyright file
Checksums-Sha1:
6d9e5d99ca6c78a05358c21a8520806474355029 1999 hol-light_20190729-2.dsc
1238478b80d4db2838b2e52a6c071f3b10e9af0e 10116 hol-light_20190729-2.debian.tar.xz
d08e4693b4ad03610b1a63ff36e5c96c616cc49b 7322 hol-light_20190729-2_source.buildinfo
Checksums-Sha256:
063b787e69b008f549134fd7cb6c13c19e6506b347f116a2d4569ca1c6bcd1a3 1999 hol-light_20190729-2.dsc
c201236db2f5518b2baf7f7010e2df45def55ba7702c0f8a612898fe9aff9965 10116 hol-light_20190729-2.debian.tar.xz
75e0db0be4e65fe5833e46876f8f92ea4dc602309b1aa88764b9e75f32aa4b79 7322 hol-light_20190729-2_source.buildinfo
Files:
4769446bb7c42cb4f2080e36b7b049a5 1999 math optional hol-light_20190729-2.dsc
2a7e04bd2a37dce9ee6da042f7dcf625 10116 math optional hol-light_20190729-2.debian.tar.xz
33b867f923bac67db2379ef7f2df7d7b 7322 math optional hol-light_20190729-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl0/AeAACgkQ808JdE6f
XdlBRg/8C16sOKDCLTtGezET2sOGrSXF5RKXqsdIIfes0PvETOC00PFqeMWBU9oI
NEwD/aHzidoafkCkEFAAblJCGCJBfRd0qXGq/T7HiQhHCUtLC2Reb8KuiboHIJBc
w1ZGOvRHPm7LUQUbJTfw2f1WCS1VbmZEQIYS1a0r+Gs/75ZstQztcbTx2ike1nNN
2hx8/UXkmUB/x5rxDPaSvOVxNYk2c1+T97VLF5usAvZyaOzguaAzvNGdF8EW7WFX
fVS22Qtg/sUTCJFlhAS5u3ZjNf5QV1aM0h+KhhKBIr6GPJ6N92nuhF/msOsY/2P+
+wm4+bJ0tzVwjKVGKKdoV+EcLHQ/HJWgwCqk37I7utSyZ3/dInMwCn0oUHLzfUFb
FpaqjafNzq2fCxEPucxc/OfJqJPVO9Quo/1HoIus5NBQCMYPhYa/r2ZbM83HnkkZ
99sr4AjMbGnqRM9E5nIPVcineO9j9vgB+FpLajNn5dEo91kD6YiXWDDw8wVsmxBx
XvpyHh9qJ4pqlFHpzv5bROIwVLALxVSPp26soEIoN6vz9tLGe63oxt42YpavKjTk
60V3kbzgYI30JflS3u81RIDfwKMBlWec/uf7GIRRrzkOrqL+xm854Bec/zfX9Bsn
Mw2wGOrsl9Phl2NSidi+eSXzuv/0ljAlh/2MNkX5+hb2dD2sF60=
=dQXf
-----END PGP SIGNATURE-----