Accepted frama-c 20220511-manganese-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted frama-c 20220511-manganese-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 23 Oct 2022 11:22:31 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: frama-c_20220511-manganese-2_source.changes
- Debian-source: frama-c
- Debian-suite: unstable
- Debian-version: 20220511-manganese-2
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=9LbtfTrIeWZRhClst+yBftUWjcitrqIa6okUWjEIhRo=; b=R1FSyRoEHbO8lKBgxXaswEyQ/G Un4b+JEXIjHaBZUbIzabIrfUeb/bVT7+0zrYdalJ5jEHpPxZ6uci3DpZfQpgJwyePCs4Fcy/HcXjx sudfXBOLRNyQ4bdteEO9Mvz8lx+OTWgvx/k/D9XVJHsZZS2kOTSAvxxibKGY5Rj6jWn0jtsf4JkrB 6YSnkZCWFQtXKy+c+01QHzX+PbHQKlYh5lztOeJqR68x8eczJR5Y0A+AVBh9wYWhHpcOWWndu8p2I 2Lp3lmFqFKgQYxBWrCqHkz8TJObeUzH6M1+oMAq8gapq22GZlcGZyZ+jMX9ZO5mCb+QZ/4DsFrDvt soRvHQQg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1omZ3n-0052uv-TF@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----