-----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-----
--==============e28273508579047410=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCaAUsygAKCRCb9qggYcy5 IcsHAQDBbUtxkrmf9whC8S1waVIWwPe083lFhUYC/D/NcOSRJwEA1epA3hwGXFdm fpCYyiQGFXkoFlguyqkoL2048bnRKQA=ybDs
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)