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
20220511-manganese-5
maint
Debian OCaml Maintainers (a), Mehdi Dogguy (u), Ralf Treinen (u)
std-ver
4.6.2
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 20171101+sulfur+dfsg-2
oldstable
save 20201209+titanium-4.1
stable
save 20220511-manganese-3
testing
save 20220511-manganese-5
unstable
save 20220511-manganese-5
Ubuntu
20220511-manganese-5build7

binaries

todo

problems

  • The package has not yet entered testing even though the 5-day delay is over. Check why.
  • 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

testing migration

excuses:

news RSS

bugs

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

links

patches

Debian
20201209+titanium-4.1 20220511-manganese-3 20220511-manganese-5 20220511-manganese-5

subscribe to this package (docs)

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
git revision 537db4c | Checkout or browse git repository
Last modified: 2024-04-29T08:50:32+00:00.