Accepted why3 1.5.1-1 (source) into unstable

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

Format: 1.8
Date: Wed, 19 Oct 2022 03:37:35 +0200
Source: why3
Architecture: source
Version: 1.5.1-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.1-1) unstable; urgency=medium
 .
   * New upstream release.
   * Supports z3 until 4.11.0
   * Standards-Version 4.6.1 (no change)
   * Add lintian override for test file with national character encoding
Checksums-Sha1:
 747ec5360f365c07edec19983c18b335220d03be 2662 why3_1.5.1-1.dsc
 55f6d2e4718154432559b35af133d5303f493b90 6727576 why3_1.5.1.orig.tar.gz
 5e0a75489995c40ef3afc0dbb685884d95f493a4 18464 why3_1.5.1-1.debian.tar.xz
 f47df2fade35edc80f2c4f4c8006fc9a6ed3ced8 15236 why3_1.5.1-1_source.buildinfo
Checksums-Sha256:
 13bb1472b31f8429850624af63ceb772c0161449b889dfb9c7cea62df666da97 2662 why3_1.5.1-1.dsc
 bcd47b59e892be0fbbeb719ca2fa190450df9dc7a424c7aa35e80fe1f570d3a2 6727576 why3_1.5.1.orig.tar.gz
 e38b7845935b9a1076cbf39ce969f8aa9e04773b066f1683af884ac4616807f6 18464 why3_1.5.1-1.debian.tar.xz
 5dcc4f6c4d07cd45022f606042293f37f8b0ff9504f4b53d96bf0cfb768cd2b4 15236 why3_1.5.1-1_source.buildinfo
Files:
 2b889ee0ae55b248b0bed8be344fd35f 2662 math optional why3_1.5.1-1.dsc
 078eecccf32bb160bcf044938c997dbd 6727576 math optional why3_1.5.1.orig.tar.gz
 0b3031c26bc4b31d63aeee732cc2bc81 18464 math optional why3_1.5.1-1.debian.tar.xz
 22916be733dc6f2043d9964fa6121bdb 15236 math optional why3_1.5.1-1_source.buildinfo

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmNQSyUACgkQdFxHZtTK
zf+FsQ/7Brhwh2Je8I+PhJH5T5VgTgqB5aSx2fO0oAjjVJlKHG2bvoSFSYEw1f+m
jRjdu/HnRAVD/ZWA+tyUBTW/aRtPCZ/pO0livQD7SSAHkaHmht17uoV4GXnCoMPF
SbPAodDynX+qATKz/phiCKqqCE9qMo9f8ko0T1CT3R+EokBUElJMqyyzqHc3LpyW
EI0Vr+MFl6gFxKvje7Gsg6eM+UHh+oRydsrnuEAWiWK3yzSg0cS6wKH/Ibfv4ht0
gnNIVuJpcKN0YMiGX88eQNmaq0hO0GTTAydxaUl6Rs7OIfZW3dRGrIojXZ9BbrUn
cS+MxyWYfbLvTz54h1osJWGOMTzDWqnThXMrlzSfTprtNOonREkckfKRyvssSjOG
DtBp4Szp8XRc1yweooTprTN2wJ/rTm99gOek55kjzvi7TXnoIVkjAWk1DRP3EJLT
jA2KMxvmZUHAFRy02V0IRYznlt6kVpQoSK4tgD8rh+xwgsvw8jLvMHBdMuDBjtiN
hmYWd4zE+jPe+ZP1k807tH7A69QattwS9+xD6S1UkFUiVUyJLblu5ZD6KPy5bpX6
D9ieI+Z27coZ67pEKsDYcqHJ1lpvS2QsYj/wI8ZNcSLLN1IcNy9hbenOkd/pp/m0
5+nzqY0gtfvALW7BC3XPSglIUQTMcnUI0pM0/aeME3ODq/PABS0=
=yrOR
-----END PGP SIGNATURE-----