Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sun, 02 Feb 2025 07:37:18 +0100
Source: why3
Architecture: source
Version: 1.8.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1093827
Changes:
why3 (1.8.0-2) unstable; urgency=medium
.
* Team upload
* Add Breaks+Replaces to avoid file conflict (Closes: #1093827) Checksums-Sha1:
1b12ffb566013867cfc53f3451191cc4e9068a3e 2140 why3_1.8.0-2.dsc
c8dbea5c140a5b865c0574e06bbedb590a26cdb3 18892 why3_1.8.0-2.debian.tar.xz Checksums-Sha256:
2a93e87d375c27c523af58c62d916fc90701b011967a162965f5b850120f88c0 2140 why3_1.8.0-2.dsc
6ef015e06626ed4c6e7b91708e7cf6d4c7b0d834363c7e6c20f61d7cc6bda7c6 18892 why3_1.8.0-2.debian.tar.xz
Files:
1f95bb94a52fa64d9d65408ff7264cd0 2140 math optional why3_1.8.0-2.dsc
fbbc9a7ba8648da9221d4196d8258cde 18892 math optional why3_1.8.0-2.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmefFVMSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBHacH/0LcOVwFm1terzyGZjyFm7tN6leJ2Ofj 88+iV/Tzz4IpUfPqL99Z7LDdXdPzonta8TXRv7JwJ+opCxRf9azU7wkMzM/71HKy qNziIBd8R834hnu7UXd1nwF0asv+bAoE6A7Zn1HhFywG2bYQed720vftibFzcxa8 DgAwJcMgWkFcHchvqugKU6h5wikH5mcsCL6qAUL/HP2yva1Rp7LPacPsjFfehAPq FVgyAFwDf2DWiEclFwTG3C3rZsWORgzz1k4Ca9vhjzIX2RUYUYVGfxnLQZ1A1s8I 44dJf/JE1bM4eTvDV2ZX2GKN3YO+QDWIygLhSmP8XgHbcUBdcQXOo1Y=
=CxNv
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZ58ZpQAKCRCb9qggYcy5 IfNaAP9rkgBEG1Ohd9WqIx75d0n29xajVGWchH96xIhYHUk51QD/fn79Fy9p03In JLuRDOVPtJhK7fI1Zoc+yK0a/gJAXwk=p5og
-----END PGP SIGNATURE-----

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