Accepted why3 1.8.0-3 (source) into experimental

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 20 Apr 2025 14:13:02 +0200
Source: why3
Architecture: source
Version: 1.8.0-3
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
 why3 (1.8.0-3) experimental; urgency=medium
 .
   * Update home page.
   * Build again the documentation packages.
   * Standards-Version 4.7.2 (no change)
Checksums-Sha1:
 81203cd106304b4893232892c9fe0b257d6ae068 2671 why3_1.8.0-3.dsc
 82b43342223c2749db62862e9ca0188a2a3bf37c 18964 why3_1.8.0-3.debian.tar.xz
 773859a716f8f0caa41a06e992300beda9426b32 16107 why3_1.8.0-3_source.buildinfo
Checksums-Sha256:
 dba08426c22735191dbcbf76132981524b698f2fa52d108f3e8e1d9a00da83aa 2671 why3_1.8.0-3.dsc
 d38c206ff81362b84182ac2913ffa805276de55238f31a09aaa939ec5c94df17 18964 why3_1.8.0-3.debian.tar.xz
 7411b75b616330a34619272a5027f691da880bc4e0be19e093f4ba262a8e125b 16107 why3_1.8.0-3_source.buildinfo
Files:
 c44e9b79008bb3af019857235fbf930f 2671 math optional why3_1.8.0-3.dsc
 046cdf0ae858ae1400882dc7c18f6321 18964 math optional why3_1.8.0-3.debian.tar.xz
 2062efc8d9ab2f280dfd7867996870e8 16107 math optional why3_1.8.0-3_source.buildinfo

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

iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmgFJyQACgkQdFxHZtTK
zf8v/BAAljespUMs5fOqhnFWLuS5P97tXqp9ictVrFL4MnWIt2jf6niOf/x9Qhdv
Ymt+DQIo11c9BsSRsDRNlI2ZfY2Ecl7IaSyyEgslf23EvBjSPIjkwTLvrrEDfzK0
tYgBKA7ESKju9VzJHeSUUsx07w3nTKDr/E59MSqr55Cmfi3l0AGVchskhjrNthvf
u7j7Td/9B6Yjecn/rtIMKn9YmJnfkZ0hCEjsVbYfA5QLvx4yUQ9YH/LR5PlYKmDR
Rbs+Ea0taQaA50ummWYis7MDInuLI6Jp2KuAreM3uZImDbVu2fRWv6ik053yCsm8
YSLgTGCa0f4YADwqNBqm5NnoLKktS5c1uZMFy8Ba4CpkrjlqexsjUz5Jzfw0VAkS
9WN//vnbqt1bO1QtfLVSSLhb1eCCQu9T9LKDpCaCRNCzCKO33fpZBfNVXf3G6kBy
vO6bB2qOYPKJnY4kyXreV5HAZXr0JEQaUbHqY8+vTxJ8T7ePwtxUhsga10eDehey
UXG9UlxPk6NMDmPEcVRFWvs1Qcm0C1tqCKXf/9+dkCmbwZKQoZQwnx958XJ5/iqL
DtAMPAt6yOrR37iF66ag0SrdsV23yYDcwRVFJA1GN2wsRnhYvzQUk48khmSd0mHp
gnm3qvdv9j8dzXS3ohSm3k2b6avp8gB/Tx/1juIm7952i35n7rU=
=S9Qi
-----END PGP SIGNATURE-----