-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 23 Oct 2022 12:25:38 +0200
Source: frama-c
Architecture: source
Version: 20220511-manganese-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 (20220511-manganese-2) unstable; urgency=medium
.
* Fix properly the failing autopkgtest "wp" : spurious warning by "why3
config" has to be sent to /dev/null.
Checksums-Sha1:
c69be80480bd3bde0452635019bde9e671014883 2426 frama-c_20220511-manganese-2.dsc
bd0a9970675af15aec982285a3564df4c673b856 16044 frama-c_20220511-manganese-2.debian.tar.xz
af2022143d0caeb380bca9b6ebd1277090b72f71 16291 frama-c_20220511-manganese-2_source.buildinfo
Checksums-Sha256:
7fd47b023df360bfb3e0045613733f089d12f088e9be5df6b20e3d975b3b3baf 2426 frama-c_20220511-manganese-2.dsc
a3e1b58049abad89298e4e34ad909f0ff07d12da054e373b9610a6b2234865ca 16044 frama-c_20220511-manganese-2.debian.tar.xz
6e9164eac668a07e756096a7e3f7fcc4cf74d8ef22eefabc78601148e83d435e 16291 frama-c_20220511-manganese-2_source.buildinfo
Files:
063aa50505a2c52cc60e564fd42f2b36 2426 devel optional frama-c_20220511-manganese-2.dsc
dda5924a7365141400172c51fe20a101 16044 devel optional frama-c_20220511-manganese-2.debian.tar.xz
e6e5ff9529fe35c47002270c296af981 16291 devel optional frama-c_20220511-manganese-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmNVH6gACgkQdFxHZtTK
zf9SYg//aWGXeGnWP23BZcMxG9xQP1sL7IqhNR4A3xghAre6KyN7PMz8+71wW62E
NtK2MEHa1hB5qdlkv46Y/uGzPOflyy+BqAmhkszAX36EYhdlvLSTLVVQ/KgWHrAK
69Yc6v3m+Sae6tCnN0+Vs2RzTne2brOvCY+ke9JW4H7/eHsgtgORTWv33QPTzhdm
CGtnXqo0rk7B4dqN37W5YeTAMDdc8eq4AQAVbW06EWG3BtiY4PUvQjwn5zofC2rv
3nA1vcam3XvgVNvW7xJ2C3tm15RNh/KrQHkwB693eF2ezl1WhK2myeI3x2EKzpV7
T9Yqub+IPSRRIAC61VxAIuxHPIDSW4kcp2gyu6NAMK5jfrRBR6XpT4gJoPPFx2/r
2YnFM7H8fcNu1Q6H0q5d39q/mivmEk0Uns+BoSrN1Pf5QNxhOl0PqxEy9qjHyxCR
XTSSUCy1dTSqxqJ00okyRq+HS0941cbxSvoWWRo0HtVp7D/vUaAHZVKio6qfDdvA
09jSb06DHCMG0VJiTDhIcxmKd3SKiVi3iB4xI2zHW0m2RNJyjYMHSE1ygUDRMaqy
cccjp+6IVPC57dOzL53a5fJAoLSvFpb6WjEzUvkd5P01OP9SEXPf1sgaF/3+ZsEf
XfdPZp7VELa2S70NmfvSXDq5iCqLZqkO1C0AwK1boMnyG0VmLr0=
=tyg4
-----END PGP SIGNATURE-----
