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

  • why3_1.5.0-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue May 3 11:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Tue, 03 May 2022 08:00:48 +0200
    Source: why3
    Architecture: source
    Version: 1.5.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org>
    Changes:
    why3 (1.5.0-1) unstable; urgency=medium
    .
    * New upstream version.
    * Refresh patch hardening-flags.
    * Drop patch ocamlgraph-cma, issue has been fixed upstream.
    * debian/rules: configure with option --disable-coq-libs, so that
    we are sure that coq stuff is not build.
    * Bump dependency on z3 to (<< 4.8.16).
    * Simplify test why3+z3: drop preliminary testing of z3.
    Checksums-Sha1:
    76f3940dcd4e92613a37239ee49e321a3d24fb22 2662 why3_1.5.0-1.dsc
    492289d5e975b48a5cf3949265e29358191ffe95 6723500 why3_1.5.0.orig.tar.gz
    e43428e5e87b9649e211efe3959954d9001c2e74 18340 why3_1.5.0-1.debian.tar.xz
    1a02921bd230f86c9850a5ded323901786a0acf5 14975 why3_1.5.0-1_source.buildinfo Checksums-Sha256:
    3bae20a77e195ae39f49f97b8bfd20452cb7c047fa5f07d00475fa6130f8034d 2662 why3_1.5.0-1.dsc
    1962b647e66bf4cdb457883d9d3c0ad0c421fef794589740ece355ec6f225062 6723500 why3_1.5.0.orig.tar.gz
    01676bd0eebf2b7808f316cc0ba61e2a373aba690de8db4a8127bc8cd512fa07 18340 why3_1.5.0-1.debian.tar.xz
    60e642f621320d27ac605dd4851b70ebc4e322b3def3479af42dae27915f296f 14975 why3_1.5.0-1_source.buildinfo
    Files:
    579a67c9bfeefb847f4509e00dfa60f9 2662 math optional why3_1.5.0-1.dsc
    fbe909444b17611ddcc8ce8b8288006b 6723500 math optional why3_1.5.0.orig.tar.gz
    a6e6baa28613229571576d3ea1d9f1db 18340 math optional why3_1.5.0-1.debian.tar.xz
    c4e61dc69379d06e0199ce63aa4fe2a8 14975 math optional why3_1.5.0-1_source.buildinfo

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

    iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmJw5PsACgkQdFxHZtTK zf84Eg/9Hok9z4IFE+ryOyC7NOS2WioLSJpbs/oGHNKKTQGp7xAmbZu/BhvT2Nf6 8EALBA6CpXLjM2RKvvWrrhlct6KthkTNiwqTlKuEdhppemdkfvDy0Y5QU3DIPwRr S2CoPXhgeaHsc8bnXABJCd27KNJ7XPtCpyHv+ZxMlqKBFBN1xtfz3njjAB4Ieqd3 53fjmaz74FEUzaqPOxLY5yuuZvkMlKoOfalr2l0SH8oXka8fymZWUlLH4shvWwMv 1Mf4hf6osX1VHWUoB+grlxLSNf9Dke8kdGQh8TOBq9pW+cUkIwTTYg7C0Hu1CWyl cLnpMFB5mB1jX9bLYw8k9q/mNyyagFh2LchbKES4Mg526P1+0+Mv8b8Y3bc7tVF5 NXYpH6x3u7ah7oJMCv4512wJXcwodQSKFys7Ua1muV4HWry9vbx3C4bqe2ePYMTf jtpGCHx7djF5VyyNi1+RECDmb90woBBjERzGGIF4N6NxOTCdQiwyzc61hLLD52nU hfMIpUe9CB+AokJw2U3ANkaO9aNSVEfAEdaySea3+x+5h+PJ9Yy/Dcw6zBfV5P+j oJCgbSnn1oYaCrICDloY2CykDKic1YQtxk5Kq5l6MIBkM5s/4bcbJC89x9qQUxFO 4lxR5C7jRt25KA+aDz2c1lPAgc2DYY0H4mJSKFfKqH/hq4mbgfQ=
    =3kBL
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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