Accepted why3 1.3.3-2 (source) into unstable

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