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

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

    From Debian FTP Masters@21:1/5 to All on Tue Oct 26 10:40:01 2021
    Accepted:

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

    Format: 1.8
    Date: Tue, 26 Oct 2021 09:47:54 +0200
    Source: why3
    Architecture: source
    Version: 1.3.3-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
    Closes: 995603
    Changes:
    why3 (1.3.3-2) unstable; urgency=medium
    .
    [ Gianfranco Costamagna ]
    * Cherry-pick two upstream fixes for new sphinx-bibtex version:
    - d/p/99377bc169d86f86b167150624d248f01d9025f9.patch:
    - d/p/50f39bb6164bd40ed580a12452f83853f885c344.patch:
    (Closes: #995603)
    [ Ralf Treinen ]
    * debian/watch: format version 4
    Checksums-Sha1:
    bfe46e1d5f1e4197f299d6d4cabb01e5f43542b8 2839 why3_1.3.3-2.dsc
    47dedcfbc8a23161af129f001f208df6b64bb3f1 19216 why3_1.3.3-2.debian.tar.xz
    45cd6807034a060dbe07b12b7d8fe76a9ed87d96 7604 why3_1.3.3-2_source.buildinfo Checksums-Sha256:
    2879945ec60872205a4a7c3b6ac2b3399e8a3d58b4c1b0d6ae92d5980ed768a0 2839 why3_1.3.3-2.dsc
    18b9054f2bcbe040156d8b2865b498e628b32437c51565081e61abfdb831e705 19216 why3_1.3.3-2.debian.tar.xz
    808887118ab7f9835a44372cc1270a1c64f78a963ecab649ada1ceb48095492e 7604 why3_1.3.3-2_source.buildinfo
    Files:
    bbb3bf75bfff5e1aca4f0b2b9192ea15 2839 math optional why3_1.3.3-2.dsc
    d1c407796d96a09fd6612f1031bfb114 19216 math optional why3_1.3.3-2.debian.tar.xz
    6aa499154e1de1ba0847d4187e88b330 7604 math optional why3_1.3.3-2_source.buildinfo

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

    iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmF3tKsACgkQ808JdE6f XdlLIw/8DVbYoVP+09sqj7HPiSPW/ET16ubeS/8L/1tLjgEbbr9fbXjA8LOP2iXh bXklA5Oala8gerjuqbMiCEjeoNvUUzkmS35X7NsKBHpbHEaHLondzTxGZFMZpJnL VV5IPK0QOLQ/2+7GL36tzdC31OIomaFwN3K2NGgQNigbhv2y7qH5toiGkbLgGxEK l0NSm0BMKt+JyZHnN9T6KVSAzBVjD/G2f+y8oIS7mThE6mbMkXpOq4yjwmjxuHdp TwjuP2uwtuRg1KqthfQbbmhI5ZldKRL7eSugHCSoKMnhlNrqkd/YkG82ftixFciT IR52LghptGjSzyxCEHDnU9gStNFIjrWR1M8u5/fotV8biFLPSuRoGN0gvx2SZ4Ci eg1scsA8chIBu10SAlrbk6toRkBZkNkY/3vHKkKZstZCB9sNd44AjsjRLfH89YyG D16VdfNpFY0V8aSy5eSgBlPXa/YqdCqMvVZVrM9PPl+7rdFxeKqieUU4W4BW3nZc REazrrxDHCuEpp3fROuE5AEvvCOc/8qFZjk0mIU/kAlffBwFcmFfbk7dKPp9boUG TYn62HtMJXUaQeNMuPL/ytF1JW1yyedUNvpbaDt7TnE7WZEs0mSNGnlE7rDEDPg/ Bd5OvHMsHdhSbPneHfTp9IFAK1Plr11KeGD7MlcSFK08XaPpBxE=
    =p1Jg
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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