1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • why3_1.4.0-3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Dec 11 12:40:02 2021
    Accepted:

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


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)