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
20171101+sulfur+dfsg-2
maint
Debian OCaml Maintainers (a), Mehdi Dogguy (u)
std-ver
3.9.8
VCS
Git (browse)

binaries

todo

problems

  • The package is severely out of date with respect to the Debian Policy. Latest version is 4.3.0 and your package only follows 3.9.8...
  • 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   http://frama-c.com/download.html download/frama-c-.*-([0-9]+)\.tar\.gz

news RSS

bugs

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