frama-c
Platform dedicated to the analysis of source code written in C

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/frama-c

general

source
frama-c (source, devel)
version
20201209+titanium-4.1
maint
Debian OCaml Maintainers (a), Mehdi Dogguy (u), Ralf Treinen (u)
std-ver
4.5.1
VCS
Git (browse)

binaries

todo

problems

  • The current maintainer is looking for someone who can help with the maintenance of this package. If you are interested in this package, please consider helping out. One way you can help is offer to be a co-maintainer or triage bugs in the bts. Please see bug number #907946 for more information.
  • The package has a debian/watch file, but the last attempt to use it for checking for newer upstream versions failed with an error:
    In debian/watch no matching files for watch line   https://frama-c.com/download.html download/frama-c-[0-9]{2}\.[0-9]-([a-zA-Z]+)\.tar\.gz

autoremoval from testing

  • Version 20201209+titanium-4.1 of frama-c is marked for autoremoval from testing on 2021-11-15.
  • It depends (transitively) on and why3, affected by RC bug(s) and 995603
  • You should try to prevent the removal from testing by fixing these bugs.

news RSS

bugs

all bug history graph
0
RC
0
I&N
0
M&W
0
F&P
0