-----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-----
