-----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 <debian-ocaml-maint@lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
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-----
