Thank you for your contribution to Debian.
Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 06 Jan 2026 10:11:53 +0100 Source: why3 Built-For-Profiles: noudeb Architecture: source Version: 1.8.2-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Gianfranco Costamagna <[email protected]> Changes: why3 (1.8.2-3) unstable; urgency=medium . * Team upload * Actually b-d on graphviz-tools, some tools are now split into that package. Checksums-Sha1: 9f08824a19ad1b20f208649c8685c61eaf81362e 2677 why3_1.8.2-3.dsc 782b40043be4a168bf5872dcbe8e90c828314134 19592 why3_1.8.2-3.debian.tar.xz 066ca3ac42d379e950d26b4b5e87851e60c03667 7113 why3_1.8.2-3_source.buildinfo Checksums-Sha256: fd81793122b6a7d6c97d791aa38d506d94470b0d1cf1190d0961c83a00f59285 2677 why3_1.8.2-3.dsc be6557216b8a6c416a74f02518cc47d72c5c5f88842c370e98c307c1aed27ddd 19592 why3_1.8.2-3.debian.tar.xz 5f156849e778f91b8dad80d4ec25c9e5611c476d91e16841a6573c1e3adc10e9 7113 why3_1.8.2-3_source.buildinfo Files: 07e7f67a4cd76cd1f498fc164b700a4d 2677 math optional why3_1.8.2-3.dsc 3b20e3dee40520f9346060f97b7671e3 19592 math optional why3_1.8.2-3.debian.tar.xz 35cbe2f7b8ad81e62b6f964926654fb8 7113 math optional why3_1.8.2-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlc0loACgkQ808JdE6f Xdm4Gw//cbmuJNUghBX5UEmA1PkZVhmkcKcnS7lrlr7R6Y5JYvEs+xw+gpj3xjGr qQhj1FU1M1iO2yzvzil9BTHqQgNuLvtnRpdC9I+gZK5+MKhXd5R9382LPWiWDKVJ nlsV/dgVvhQwwmL/6fV5EXlqLG7fG63+a2e/C5zLhmfFjWodzQ00N2Lle1jrfxSP CKabXVrA/1RdUH1KuU5IEqRHn0LDNKr8iiPzkWNtMWDIen27h596CV1T9v5MY4OP vYEynEy3sZjEYfxlhQEtsjN9saMPi1rgsz3BeG3biGNLMGlTG9QGGzkp789xUf1D 5PFUF6HEC4tSxfD8nROVK/DDqu63wyII+2Y5QMCxvrWhBKdVYSDCDYAXqgW9VJK8 xvaJlJNjn5/CMZRJD9npkx7167sXM1Fwh1oUnnEitRAVwIG3JqtasCrOML2NXQL+ VcHzpCqYbRlXn1H6Ji4nNvU/qEI7UryyzfOZvyCo6Nj8aCuDjuneyYs2KQNcld16 W4gqdYEYw+FlWCwEqlVGkgYxVZlhZ4J6JRqOrBD6Bc2UQPlY01KRED+iwAvYWPDb T+kWL18WdMCk8qeKAkn8ByATdO+xL/KNrIo/ZpoaOLhzljbJSi328xmxYuu3GE7O kh1RuQnOCISVOExeO8c3T+/M5SbC93k99h13513iWwyCZ3l/fHQ= =PLzz -----END PGP SIGNATURE-----
pgpUsfCeZCgyN.pgp
Description: PGP signature
