-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> 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-----
