-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 04 Jan 2026 10:00:25 +0100 Source: why3 Built-For-Profiles: noudeb Architecture: source Version: 1.8.2-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Gianfranco Costamagna <locutusofborg@debian.org> Closes: 1122492 Changes: why3 (1.8.2-2) unstable; urgency=medium . * Team upload * Add b-d on graphviz to fix missing ccomps during build (Closes: #1122492) Checksums-Sha1: 51de91c07e510bed7fab98a0bcd40b62a4848ff5 2681 why3_1.8.2-2.dsc 0c011f6bb0a2b6ec51d03475e68dd061c5094608 19552 why3_1.8.2-2.debian.tar.xz ff15bb6d85fcc90d251388c26f6a31c45f4e29fb 9509 why3_1.8.2-2_source.buildinfo Checksums-Sha256: c3c64e999af2633968f969ea02bbc7d689ce97f8f25520df2d58bbb7bc207f74 2681 why3_1.8.2-2.dsc f17f04bba805bcffcdf96c6f2e3444688f76dbdd114ad03d300bfa17a0eadf9c 19552 why3_1.8.2-2.debian.tar.xz 0dc4d4228c72c57ad29c8c76ec6c02f097165f520f594292cbc6bba220c73098 9509 why3_1.8.2-2_source.buildinfo Files: 1f421d883e7e081187265a3b5fed0382 2681 math optional why3_1.8.2-2.dsc f57bd68d84352d68e6e8bd976220d168 19552 math optional why3_1.8.2-2.debian.tar.xz 09c1a98207823ac38dc8bd0ba37933bb 9509 math optional why3_1.8.2-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlaLPsACgkQ808JdE6f Xdki5hAAoZrEbhPZwXaPiIwfWnE94/dfZPSKeO28/eKBvfmXObe6+6KNkNI34WE5 3sYp6vyfJ73VtLmzmUSYnLcWBrGzLKCS5WDF9mnj1DFM9IanK0wCRhacbrTV3NvH yRCScmSIWHWyanczfI4xIj4AH1GKT4BieEzIaWsC490SxTqX1mjcq1649xBkC4cE KCobjfxQhZzoBk4Tg0rLJs5/lQ92jvR1u+dSVbMQFzj/9WD4E15gJfuJEAyluL2O mk5/ONawxV5F92/Lz41Ush2hAvmNxX6Jc7BssLLmF/VXfmxQ8vmRmOofFFME+JLO xPrHdENHR5Od17z7czgPWiC8sM7m1rm48YQpyPwzWqG6oVslIBUCOkCX9EGirOHb 9U2v01r30cE1CIr+3IeDgU/bsE/PBt5aReGiWSw17rcI57IcpQzZQ6G+OebfLzRK T653J2xyZWAzlTIXv5Ai1XMnJqWO6hx4Dxyiv/aGBJ96lD+ArNjB0FCTCz9LVMRO dxMW6SQ7H21RsO0gwcqH340Oib3Ugdv6kuBgm/B3Vnc659yfRP9YZM5hSGul+Awj wggTwaK2Actr0J6lts8py++mBxDmfvnkvtpkwbznXXQdcINBkBmGqmNkZUZVSNIV 0B1bEve4MuA52JkwIldbLNkK1MIFfLsx823+5Y7sCm8iuJekFgY= =lRXC -----END PGP SIGNATURE-----
