Accepted why3 1.3.3-1 (source) into unstable

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

Format: 1.8
Date: Wed, 23 Sep 2020 21:23:15 +0200
Source: why3
Architecture: source
Version: 1.3.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 970510
Changes:
 why3 (1.3.3-1) unstable; urgency=medium
 .
   * New upstream release:
     - drop patch why8.12, issue is solved by upstream
   * Alternative dependency of why3, and test dependency on cvc4: add a
     version constraint << 1.8 since cvc4 is supported only up to upstream
     version 1.7 (closes: #970510)
Checksums-Sha1:
 8e27ddb94f89b2c84f57b48d5474655d9b476dce 2839 why3_1.3.3-1.dsc
 8a3b7e075ba6f64f0ab88251b0450b1e3a09d23c 5807572 why3_1.3.3.orig.tar.gz
 51c34014128bd89b2500be0b325c50282940bac8 18428 why3_1.3.3-1.debian.tar.xz
 f7346878dd6b7666e67f432fea52056c77d34a63 14772 why3_1.3.3-1_source.buildinfo
Checksums-Sha256:
 e13ae5969036d7cbee86f89fe2134fa3454f68d28fbec02eaa9dae16fdcc0c7a 2839 why3_1.3.3-1.dsc
 9cc64ae6c64d95e6e2f622fa1d2aaa675e4e1e4a06d234c6fb60da17ac150ad8 5807572 why3_1.3.3.orig.tar.gz
 320f469cec1fa54dce78d7d7726eda9dc823d1a3ccbe880b149c29b815992892 18428 why3_1.3.3-1.debian.tar.xz
 5399bb5f1b73bb4c9b1343f552bfad94dde4a2d05cb28b83ede179c51c551dcc 14772 why3_1.3.3-1_source.buildinfo
Files:
 792c34712ff28dc8c63364db8db33d51 2839 math optional why3_1.3.3-1.dsc
 7e189ce7b3ae8e25a12bea87b1629a59 5807572 math optional why3_1.3.3.orig.tar.gz
 19351cab782d9a16265cf9013cea594d 18428 math optional why3_1.3.3-1.debian.tar.xz
 80abba34932a5abf0bde55d6c044e5fd 14772 math optional why3_1.3.3-1_source.buildinfo

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9rpsoACgkQdFxHZtTK
zf+14Q/8DLv4x47WLQ3117mKGL6DiL50gLm5kzqAsVO5VNIDGpDIx9DFb4Ofh+Wk
wCvhJhfHNrMqunqCX9TcqQXVnCpHh9+QqqZj6r1c/qckNSgR/BxQI6C/LhaHgeiU
ZYGF6kSsOw7jblrp7/FF/pGQXiDA9ZU6nhS6BPYT3ALmQnNHu4WGdCVhxB8CAD7Y
8APKl1qQapWP8Hi+vuvrd9xn+cqpFxQMnJhDv5ycxy4Y+/xu3DBQW1bAXNl2fzt6
fDhzM5UnzVmNH4obQ53WBxVMMjPMiVMrPBy8Pz0elsZx3yNiQIHLAdEjSX6fqKR9
yhDjxsAUf/8uLRVAmVKS+71F5qgCUy2EpcUYArgqeKq7aM24yubcuJaIDrvdRl1X
HoUAE6LGQpy4yvKNi4FfhXghfTl8WLQrdMRKN/9L7Zp49PjyChcyLN7MkydEQQVF
afCCZDDfnH4SmTS+rOcJTb3fuCgn/tS7B8lHQWN/SHwJ3xKf0kxLqrlKmWbN92ks
rbMMt8wH0VlC5y8GL/7Vdy531OpmqaQb8U9Z3Ydkv2hOIWhAg/4v6jXwf2Gv5fsv
1kMGwwc4y6i3V4ZOXXpRdqdshu01pnzCfJfhj7NeH/aV/FIxPYPUx6NJiO03DeoH
vgJWRN4mgHtxgFotuWqDxxSjx8Di6GvofcTl2PsBKOgIsRaT4Cw=
=JwR/
-----END PGP SIGNATURE-----