Accepted frama-c 20220511-manganese-1.3 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 27 Jun 2022 20:50:40 +0200
Source: frama-c
Architecture: source
Version: 20220511-manganese-1.3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 frama-c (20220511-manganese-1.3) unstable; urgency=medium
 .
   * Tighten the dep on newer why3 also for autopkgtest.
Checksums-Sha1:
 020f828c3c3f7ab5ad491bfae436e72eeaf7c66d 2459 frama-c_20220511-manganese-1.3.dsc
 415eaac22e86029457d4d1e6e7137ace41e4f0ad 16000 frama-c_20220511-manganese-1.3.debian.tar.xz
 52d557e37a49046dbd2effc75d8728c8ef67ee44 15950 frama-c_20220511-manganese-1.3_source.buildinfo
Checksums-Sha256:
 013dbad83484e1ec0b7f5ad06b68fb5a6273cae530b4f084f8fd12f6580e011f 2459 frama-c_20220511-manganese-1.3.dsc
 e1715e794688ef8e4f5177e97553b14d0fcf9117a209b05e7a8f4eb332187bdb 16000 frama-c_20220511-manganese-1.3.debian.tar.xz
 9f4c62ba61934ec72a9ca8e406a3e51f72c336c53a573d8aa7d8c514df7f9c3e 15950 frama-c_20220511-manganese-1.3_source.buildinfo
Files:
 a6b82c34e5ca91774213d93c81b4907e 2459 devel optional frama-c_20220511-manganese-1.3.dsc
 f0f578eef430b4095dc53aed096b6726 16000 devel optional frama-c_20220511-manganese-1.3.debian.tar.xz
 e662586a30305e9d3ea6ebab92adf3b5 15950 devel optional frama-c_20220511-manganese-1.3_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK5/GASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRN9sP/iuzg6ov+SxwrMxlDSrQ9PGcxn2PqdHH
n3lmEokR/9htW2FOrXumn+/WmzbduQfaQ6G+rY0iQillbtUb004dQw955fqDvwfS
4LLvh3nmKmuEy6MflYp23N7NVYszIw27Ira6XpP5WdWsCD6Ak0PUX6LwliX0QReR
9SWtDfB0wxxa8zBhJZp5dlvXKWbuwyQ0r3zm4Zl+c1gdPVOUyOoUQJEQ71RvgG1v
69GkKnoO9HBKaNqRVSbHmU7xihAKWc3VoBVJ7cKZkpF6hXmj4Ym5KFwD/ScQRggu
0iA2eHFpzM8FxPmj4HmllnbF8M5odoa2lqvque3ipRERCp8+hzHfHtpyM4upR1iV
zdMomoOkgw7XkWVvdG15k3STjKQvrsdlQ7HAj2G8/eqmAeMBqhGMCQCYyqCvLfyL
YCXWzCjq+wjvkAekfJ/06/Unm3yIQGys3ypkv5Gs6HNKJt6r9FYjuPYDl6o4e/DF
bAaMLK0TuwofZG1BLJFTKQGBBGvOurG/JdBf9ldxWbyyiHcMPm/p0/NT2B3sSiFG
BFdSiN/v/k7uKj80H8qat9fmeg0liqb1k64KgfVf5QS+bboZ1jVC9pHl+iMxb0FR
874dvwt0IOcESb6auS8nYw5eUrq4d0E034FGuG+/rhzi9hhOFt+0Q7MvD5DwfnNV
2OJ0G5n/PPsI
=8nIP
-----END PGP SIGNATURE-----