Accepted why3 1.2.1-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 08 Mar 2020 16:35:43 +0100
Source: why3
Architecture: source
Version: 1.2.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
why3 (1.2.1-4) unstable; urgency=medium
.
* Support new coq versions:
- add patch coq-8.10+11:
- invoke autoconf in debian/rules, add it to build-depends
* Since coq does no longer build on all release architectures:
- Mark the test why3+coq as skip-not-installable
- Restrict build-dependencies on coq to amd64 arm64 ppc64 ppc64el sh4
- Restrict recommendation of why3-coq to amd64 arm64 ppc64 ppc64el sh4
- Build why3-coq only on amd64 arm64 ppc64 ppc64el sh4
* Standards-Version 4.5.0 (no change)
* Drop override of dh_dwz which is no longer needed.
Checksums-Sha1:
8ce3160ce587c9748a91228d03ee16239e76d1f3 2756 why3_1.2.1-4.dsc
2582c23bea8c592393d9b5c967aaa6d7361b92d9 23012 why3_1.2.1-4.debian.tar.xz
867872b9e63bad8657e5ae32788edaacf537db80 15708 why3_1.2.1-4_source.buildinfo
Checksums-Sha256:
5573a299ee26ff41e6c6297c9717015a68f4cc031acfa98fcb72ca3eb0cf87ef 2756 why3_1.2.1-4.dsc
3627b786ab2a5cfb80ebd168ee49758d92360f4fc25935f9a3ca36564bb94d4d 23012 why3_1.2.1-4.debian.tar.xz
d4a2940f13b4f0188b8bff6ee9a7c90bd0e603d4491d8b49291ee7fd9770fedf 15708 why3_1.2.1-4_source.buildinfo
Files:
ed831635590b6a7f6b076a88571060eb 2756 math optional why3_1.2.1-4.dsc
718d4fdc695cdc036b8a3ca7d1e12737 23012 math optional why3_1.2.1-4.debian.tar.xz
e89a6b64a039c92ceeffddd56f42542b 15708 math optional why3_1.2.1-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5lFNYACgkQdFxHZtTK
zf+aVg/9H6ozsPOtp30t4G3E71AyHmlc/9Tc21RVZjhcKIe/Vfe8cSxGSU4ka33F
a+Kp/epeZFoBmGrbTOzz1jdSd3oFmrPkDhuIavvlF1fugf+4DFJqo8BQ7yru80wf
jsGOBAZpivoiVC75JFy+fG/q0hHeEv2bui97m+ezOl2DKOz9Rv/EOo1wE0iJ9GWF
PvJtKtixtZFTEYYPgDOSuRAcYnLbOy9FDBhJY3B9g63fvQa1e7PQ6PFRvGGc8JjK
bhIxaNLiRVCkQine2Kp/d5ljxsJ07GP2DXOkXMWibrfMYCG3rwuQC14ARSvzbnqN
17Mm+YcyAJ8W38z7Zvf5D67vri2jcRUBxoDfdzYRzIaIDotor4dlby5gnNgv35y4
VM71ObKcCG4/5asLIuPgoHwme5OkLOR0yELMX7DJUZzwNgtrKXrB8gc2TlHUmkrC
9YtLw58J6nRFZ9TR5p0aPwUb6LFzndPrJClyz97Y959Gm8iGcpWeFlQ9dZPeC75h
oLHThFyUoOfSQhJWZKiQTUUjTs3sMoc2oMt3ffGIXJ5epB7oUsnl1K8Umoa8LQRI
7VAa3XfGvZP0eal0FEmfXsCH8JvcsT5oLF3gIQyY78gVDyjMM2ssrVkx3Ff8Z1Gr
K/rle81AFVksM2yjS3HC5moavrnRl5V/Odkp6AKasIZe3QfaUGY=
=HzhH
-----END PGP SIGNATURE-----