-----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-----
