Back to why3 PTS page

Accepted why3 1.4.0-3 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 11 Dec 2021 11:37:13 +0100
Source: why3
Architecture: source
Version: 1.4.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
 why3 (1.4.0-3) unstable; urgency=medium
 .
   * Update Recommends and test-dependencies of why3: cvc4 up to 1.8, z3 up
     to 4.8.10
   * Build-dependency on ocamlgraph and coq: add version constraints
     according to upstream opam file
   * Use a debian/control.in to fill in automatically the native architectures
     on which coq is available
   * Update why3 manpage to document the new syntax of "why3 config"
   * Add debian/upstream/metadata
Checksums-Sha1:
 ac669354a4bbd60d6eef6d71903e97512b073f56 3043 why3_1.4.0-3.dsc
 d526fc6069a9fa4bb73c23882e321eb0c6b35f2a 40048 why3_1.4.0-3.debian.tar.xz
 181a36bca42157722c8e67a28a2831f51fde953b 15051 why3_1.4.0-3_source.buildinfo
Checksums-Sha256:
 0c74d9dbc0b227e0d8e564b69c3e77c896b29560d6755d704fe6593cf33bc65f 3043 why3_1.4.0-3.dsc
 674ced5906934529daeb03344b4e17e04930c910f810f4c0eb75130b8115d0f0 40048 why3_1.4.0-3.debian.tar.xz
 11ba0e66f9c5bf21ccba26e8cf98275ea085f19569ba2d7438d613e3a00bbd25 15051 why3_1.4.0-3_source.buildinfo
Files:
 5ec333567c618d49f2d6ac862552e1e2 3043 math optional why3_1.4.0-3.dsc
 361ec054f4e5e55ab46c6b046112f3be 40048 math optional why3_1.4.0-3.debian.tar.xz
 6fc144bfea2eb74ab38673205a74addd 15051 math optional why3_1.4.0-3_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmG0g44ACgkQdFxHZtTK
zf+Puw//bYLZcwufKOuLcPZ9z9alEEyPCQOMh9lB1IXymTsjCGziCB7fYsfWAECZ
0J6y3p9IR1DWE+Yvoo4cFGjI4tseM2VTpzkLrPns++Bjcm7VK7EaApV87niQ0klH
7UqSJmvJC6Si5StCVZ85P7c6SFd579fky9zSwwZ9GH9fZG7kmBpHRnlN3LV4ytBv
fSsdIpojdi4Uu2hy7EIHZ3b9HIKI67zqdfLs7is/+gBsmWi59VZe1ecuR/iOOZLa
8eUnX14Iwbuq/lwXtX3RZe2cmmkxH3D9whdyLIC7XoSNbH/Jcw1O6e+nzPmrBWqz
PcMeMmLhntAzmcejd7rRyIFidcwO7Hw5N6qQPxrW/mtM8+RQOxkWP1Hty8pWdO47
i6GsGxaBix5H1UWqliWL7nJvL8ewvhMn0wBBARSgYIcz4lwgBO2aHxfg049CJT7T
eUF2rfGeY3EUNUkA4zUYHuehRc687gdPD0w5Cdo/gSwYF6sFwfaM5ncqZ6QbpeX+
0zITakpVEYO8hfWikElf1tkp+j8ChnoW1pOqNNh1WEJP/CYFHAMm7r3VVdE8ZjOE
wGkFaAJcj/BMlYRmrPWqUv7Lr/vJ/bvCa/UX8wDyGN8k0QV7t694hzzFXEhkXqWN
Qr/5Kqmwrfg/oMb1RzbsmnjmBKmst9uAeV/gSub0eYdCfAknQXY=
=jbNp
-----END PGP SIGNATURE-----