Dear Maintainer,

frama-c in Debian is two versions behind upstream, which starts to
cause problems (see #1051485).

Setting Severity to important, since the current situation has a major
effect on the usability of the package (no Why3 support).

Note that the new version depends on ocaml-yaml, hence the block
relationship.


Cheers,