Bug#1051524: frama-c: please update to v27.1 Cobalt

[Stéphane Glondu <glondu@debian.org>]

Source: frama-c
Version: 20220511-manganese-4
Severity: important
Tags: upstream
Control: block -1 by 1001893

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,

-- 
Stéphane


-- System Information:
Debian Release: trixie/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'buildd-unstable'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 6.4.0-4-amd64 (SMP w/8 CPU threads; PREEMPT)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled