Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Mon, 12 Aug 2024 11:54:59 +0200
Source: why3
Architecture: source
Version: 1.7.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Ralf Treinen <[email protected]>
Closes: 1046969
Changes:
why3 (1.7.2-1) unstable; urgency=medium
.
* New upstream release.
* debian/clean: add doc/.doctrees (closes: #1046969), remove cruft
* debian/watch: use release tags of INRIA's gitlab
* debian/rules: update url of external mathjax resources, which are
replaced by locally installed mathjax.
* The alt-ergo package is no longer in debian: drop it from Recommends,
and drop the corresponding as-installed test.
* Standards-Version 4.7.0 (no change)
Checksums-Sha1:
6a0c54f1346106b9cd57f88bc4d7a26b68933b1a 2639 why3_1.7.2-1.dsc
0d28c008f0427acc38af6a1f371dd85336dcdd55 6321645 why3_1.7.2.orig.tar.bz2
31a4cb5b6b33014d427a684c4cae593bf601b53f 18520 why3_1.7.2-1.debian.tar.xz
93cc58f4fe2ab4cb00812747d8ddc726defc93fe 16302 why3_1.7.2-1_source.buildinfo Checksums-Sha256:
e075c0f6651a03c8637e954e7ea03d98bede080df9090ac3c1cc3ace83509e87 2639 why3_1.7.2-1.dsc
7598d0f8e740ce76a359fc0e6db21f3cf873aebe4fc80ce349d75aa21dd72305 6321645 why3_1.7.2.orig.tar.bz2
c4846e794570029460fdf85ec6800f88011c57e4af86b30e450dbac08f70b8bb 18520 why3_1.7.2-1.debian.tar.xz
5fe5b37603c2cc1c47ba653c0ce3e74d38c663c6bbb48c7d29f6ba5d7a359e3a 16302 why3_1.7.2-1_source.buildinfo
Files:
a97bfe3f52f202c250afd482469f7d67 2639 math optional why3_1.7.2-1.dsc
8db707cff5cc897d058011794985395b 6321645 math optional why3_1.7.2.orig.tar.bz2
43412abc32607f7e492ffc797cec5b37 18520 math optional why3_1.7.2-1.debian.tar.xz
a3697fd8b4e0798511ba451d7c1e9aa7 16302 math optional why3_1.7.2-1_source.buildinfo

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAma54E0ACgkQdFxHZtTK zf88BA//cxub10HwfM9HVIqzq5XTPjuOgPDzRpfPlyDGk8QxV7W1qCyA4N/60cma uagw/BZkLGxQYSmxufJ9zpxz7Vu0uT/Tefm+LhS/ld37z7axPUwjtsLh8gVaXTx0 1IgUVq199tMf8kWmONX8QBl8crIZd3Aj37Ah5mIycQFllPZhYLGtRP7rMzOxw9l6 Ku8YOt1b7Rp8oWPNCF2Elyb1LuTPtThj9ogYvBYBKQPckuNnR8KMSQ/L+0oqWuU3 bUx1ajgKNbczQXHOu/lW+eV1+vz1iEYdMAAvPcji4W7VeCsMYd6SBYXoHJKSnAjM tf2TQL1F8VrzDyQcUBLoC//FfakApyCodspXAhQD4gY4hh2aNr0BAnIhUvYXP7GI ChX37V3lwB7IEeIyxi5RI9OpRUOBXsE/gstOFGGJlEZaj9Hl8K/3g6uLbpJA72Pm KDtQF9TtEvetEJm3k+ZS+A9B+TTzPmjumC7FzMl0VDAHuiKp1c7eRs9x5+OnLdez PyeJEjYfSBdfKsH5mLEH+4dJcegKz5tKIcmA4gBMnfUMEQXM4QHK8XRJ87XADy7S HOJ80G6/dZH5Edhc86eGnrUwy0AIqXnkocc8Ke3phYc3g6Z/BRZkz7ng2XQL0GJw 6zKQgFG95SwJMGn0BR3fWkWsTSEGyTcvHwc/VFwf5FfNFDVL1kU=
=dgKj
-----END PGP SIGNATURE-----


--==============W36874866925839416=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZrnmIwAKCRCb9qggYcy5 ITLBAQDA5ERP24Mh9eQX1bFcr7mIB0Kv23bB6iHwM/4Ts3IzCAD7BDZtXgjBTzOr lp8Pmz8kYSQFgDYS71xwtJ/6kLCKTAI=mglq
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)