-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 27 Jul 2019 10:19:28 +0200 Source: hol-light Binary: hol-light Architecture: source Version: 20190729-0.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 Closes: 876533 878615 Changes: hol-light (20190729-0.1) unstable; urgency=medium . * Non-maintainer upload * New upstream snapshot (Closes: #876533) - Patch for new ocaml and camlp5 - tweak rules file to stop copy of the new ml file This is already done in upstream build system. - do not install .pc file in the system (Closes: #878615) * Update copyright file * Update copyright file http in https mode Checksums-Sha1: 368201127d3ee6734ba88d596c8d6662cccdd4b3 2051 hol-light_20190729-0.1.dsc 78a00734637a1cb7312c4c3cf71f7efca559dee1 6959546 hol-light_20190729.orig.tar.gz b3d86f60a5d41c3a1c1a1c64b145977468247609 9576 hol-light_20190729-0.1.debian.tar.xz c5fa7efad994215cdaa35e9f153ab49731e86c5b 7330 hol-light_20190729-0.1_source.buildinfo Checksums-Sha256: 6f5541cd2e42e2c6897d49b87815ca6d788950b214ae9f7410d6197af4ddde68 2051 hol-light_20190729-0.1.dsc 88cfcdd1430d963b9fc63960829e1a5f7c08df98ed92b3765cff51691dbfe75a 6959546 hol-light_20190729.orig.tar.gz 882497a57fa3513d7b8878585cf4e9dedf97dfbb47532eef4ef8d04630ce27f7 9576 hol-light_20190729-0.1.debian.tar.xz 930da06eef362c7dc5a55fbfdc38493213df9cebe55b5a19e423da1131f81718 7330 hol-light_20190729-0.1_source.buildinfo Files: 14cafd08250ae2ea98042418e3d08aef 2051 math extra hol-light_20190729-0.1.dsc 9a8813a63d883e10c5b52c36b93ee9b0 6959546 math extra hol-light_20190729.orig.tar.gz 305bbfda8b72464de992db2ca683414c 9576 math extra hol-light_20190729-0.1.debian.tar.xz 3061e05f7ce23de96e18a442c187f571 7330 math extra hol-light_20190729-0.1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl0+0CwACgkQ808JdE6f XdnfEA/8DQ+K3+zunygymZWI5EKmzccLvbHd+IQ5lSr/yhhXGD+eSq4uvDrKMJVS uOWKKsul1dY2SNOiXfmkOIvLrIo2lkzVPELzhGiy2lNlnG6uxyvV0aaoKwOyUlP0 LUxAhM6xdXwMZ6ubvAGVISEodl/3hM48L4S1tYB6siQJDsjJrrXJ8NMSs9c7P3AP DMG7DcAFjlGMA6NIVWqfOl+DH7Kgge1ZzzvjahPjAne2F+kMUbHo+CByH095cPKR 5xlo4NaYpa1ZhECZQT8wEn56fv6zaY9zDfp0v54+3c1EA03aWApNx8eXEHP0UsQs q3d8B6ilqIYLxjN8hzZSvsmvu4Ki4sHBPawrOk9/UYTnFStL9IGxevSkL+UuhZDr qnRXzDhlr7W9sCfYb644morkml4HrB389kFJ0ENQRs6jigng7f7oCcIlJylgonUH HiWCzvR3gR7Z5lhCTpKboRYuqftdN9US8z8NyHVKOZv3//C+dV8jorqni/1gHdTg gc7MEGPBnpzzvANSdP9hWx5X8VxCXTt61JmgqXGuYhEAOnvCAQkGryTUyoMIk63Z /IvDLoklFAdzUheqEYo109DIp+e9LCPU7KGJaZFzAzFG7sTLboA3jhLlaZG6eFjh dpQidoMfNcqObqbJEG1jCmTv694z/CVbMLJ3wX2was0qJxdcLVM= =PHfZ -----END PGP SIGNATURE-----
