-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 03 Jan 2021 10:35:26 +0100 Source: frama-c Architecture: source Version: 20201209+titanium-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Changes: frama-c (20201209+titanium-2) unstable; urgency=medium . * Add recommends why3 (for the wp plugin) * Test wp: add depends on why3 Checksums-Sha1: a283c835daac955ee13b9097aa83916184258e80 2348 frama-c_20201209+titanium-2.dsc b61dcfc1cb59b4fe0a61a007b88a96cb3184c34f 15520 frama-c_20201209+titanium-2.debian.tar.xz f867ffb5b6964b28df1bde5f8504bc0f6fbe660f 15736 frama-c_20201209+titanium-2_source.buildinfo Checksums-Sha256: 092e016ed7036d79dbbd397c12b82a0ee7ca6f132750221c3600f3863bb794cf 2348 frama-c_20201209+titanium-2.dsc dd4fa9e76064580e31fc48c47d59d8e7d356dbf09d0bb1b96a807d298e74bdc8 15520 frama-c_20201209+titanium-2.debian.tar.xz 4b522be05a3129c29cafc7ba037261a8bc52ec50111b2e4af934285394dec983 15736 frama-c_20201209+titanium-2_source.buildinfo Files: 4343fd18d29501a63acd14471f47bf53 2348 devel optional frama-c_20201209+titanium-2.dsc 576756dc05846765860de32d0da82b6e 15520 devel optional frama-c_20201209+titanium-2.debian.tar.xz aae4dd991c4624216932f02e5563b185 15736 devel optional frama-c_20201209+titanium-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl/xxr0ACgkQdFxHZtTK zf+Q/A/+LJcx2LYKebqEQJJXGWSTXB9PxCiBXJ3bgRs3dFtbMmd4/SrP7OGaNhOO GviEwW08emAPQ1OQMAB3Mtjo2BUVVlpeP8IJXLN44q7zZrqxZqVbRUIYlxW+zf51 YAdaKjQ+lKdwcHVFcaKlNA56FRZQsZ1no9ndZRR5ffsd6aYxzR7K0PYSZW05AFGf 5b8mh9gR37CbTlMKaBWS9yD+x4475QW60mtw/h4zJBoUfyGMKUwnkF7LzWx5oyqv PLgWFm2hd4ynh4vR+3QByK21SW/HkWce0Sstc2JCoPI+Jp08ieFgCYQvAGWY3Ezo zppmTfMmhdr6hLhdqET56QnXdPhFO9SDUHzBHALHQ+XZDUmzzdzsTirk7smV0TpM NHGbu6YyN23tZnvZD7l2TRieWfe3hQOG7SIG7QP0U9SameNpJUKGbsuBVKU7/6NZ nnYSanD+EB5JnvWi+2tEv0/SMsT+DTwjsMsg/UlD9+EHnamDAj/S31kuJUf9hJLr WG9oAhlaQkeIWJZygS4wagEPWVYkavlavaymPFZrtWROUdsTgayqUA7kWj98sKAK Zz0wuiYu+R48VZNDAuAJGCUTEquG35BCQCUKIdW64TOZcHH7j7/eJPkKe5sI/5hU rtFsskKVf+jrC8idKczAJZ4DHD5Gq7oJ2OyDn0+MZyT99it/HzI= =I843 -----END PGP SIGNATURE-----
