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