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

    From Debian FTP Masters@21:1/5 to All on Wed Nov 24 09:50:01 2021
    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA512

    Format: 1.8
    Date: Wed, 24 Nov 2021 08:49:42 +0100
    Source: why3
    Architecture: source
    Version: 1.4.0-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org>
    Changes:
    why3 (1.4.0-2) unstable; urgency=medium
    .
    * Team upload
    * Fix autopkgtests
    Checksums-Sha1:
    1b67c382b0ac6453f3c6efdb8ea2c7531552a60b 2614 why3_1.4.0-2.dsc
    e26a3e9ac615173de3b673b4923967d94a96bf08 39676 why3_1.4.0-2.debian.tar.xz Checksums-Sha256:
    4a619149825bbff044b756d2374c2376b4622c53034c32f05f5bd673430e27f9 2614 why3_1.4.0-2.dsc
    6e6ab959f60f92f6f04cfaf59f71ba10e3c3fb47e800dc448b61f6e190aea593 39676 why3_1.4.0-2.debian.tar.xz
    Files:
    945d7c70f71d579e21119c1e392d7e62 2614 math optional why3_1.4.0-2.dsc
    cd59209c92cab20b7cbb9e2d7e4d1b17 39676 math optional why3_1.4.0-2.debian.tar.xz

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

    iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmGd70MACgkQIbju8bGJ MIGWQggAoUiaP3WAWKO3RUF6iTeB18/ncdPbOTYGXiDlLPPPRMQehq+drLY3zw5z K42/JU53lr1yCkKdlQs6qHVjUIF4sFA/5ZfC9NB/l79AQzfNbfpYcf3G3BBSUZu3 hfGszPXvbS9z7deriOuGI8zIjOV0JNl+Iwr728AIPOEIwlPXl+KyfX0DpPQC5K4K CoaH5FFsLlakkVXQYzRJK5pXn+en4cEE1MPWyZfy0xsqaQnWS3luTTGVxGJ5NCZ1 jfxzb7Mu/L5uWOyATIg5CfqPwm5X3kbyn4P99RQCo2hjuR1tNcKx4A7sMfN5gS3Y 8PnRRvZ/Sl+y+cXJoUHoVbQvsMuaFw==
    =/4ij
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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