Back to why3 PTS page

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