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