Back to frama-c PTS page

Accepted frama-c 20201209+titanium-2 (source) into unstable



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