frama-c
source package

general

source: frama-c (source, devel)
version: 20111001+nitrogen+dfsg-4
maint: Debian OCaml Maintainers, Mehdi Dogguy (u)
std-ver: 3.9.3
VCS: Git (browse)

versions

stable: 20100401+boron+dfsg-5
testing: 20111001+nitrogen+dfsg-3
unstable: 20111001+nitrogen+dfsg-4

binaries

frama-c (0 bugs: 0, 0, 0, 0)
frama-c-base (0 bugs: 0, 0, 0, 0)

todo

Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of it.

problems

Piuparts found an (un)installation error in the Sid version of this package. You should investigate the cause; have a look at the corresponding piuparts log.

testing migration

Too young, only 8 of 10 days old
Not considered
Depends: frama-c ocamlgraph (not considered)

news RSS

[2012-05-16] Accepted 20111001+nitrogen+dfsg-4 in unstable (low) (Mehdi Dogguy)
[2012-01-07] frama-c 20111001+nitrogen+dfsg-3 MIGRATED to testing (Britney)
[2012-01-06] Accepted 20111001+nitrogen+dfsg-3 in unstable (low) (Mehdi Dogguy)
[2012-01-03] Accepted 20111001+nitrogen+dfsg-2 in unstable (low) (Mehdi Dogguy)
[2012-01-03] Accepted 20111001+nitrogen+dfsg-1 in unstable (low) (Mehdi Dogguy)
[2011-04-30] frama-c 20110201+carbon+dfsg-2 MIGRATED to testing (Britney)
[2011-04-25] Accepted 20110201+carbon+dfsg-2 in unstable (low) (Mehdi Dogguy)
[2011-04-24] Accepted 20110201+carbon+dfsg-1 in unstable (low) (Mehdi Dogguy)
[2010-10-16] frama-c 20100401+boron+dfsg-5 MIGRATED to testing (Britney)
[2010-10-05] Accepted 20100401+boron+dfsg-5 in unstable (low) (Mehdi Dogguy)
[2010-07-27] frama-c 20100401+boron+dfsg-4 MIGRATED to testing (Britney)
[2010-07-16] Accepted 20100401+boron+dfsg-4 in unstable (low) (Mehdi Dogguy)
[2010-07-06] Accepted 20100401+boron+dfsg-3 in unstable (low) (Mehdi Dogguy)
[2010-06-12] frama-c 20100401+boron+dfsg-2 MIGRATED to testing (Britney)
[2010-06-01] Accepted 20100401+boron+dfsg-2 in unstable (low) (Mehdi Dogguy)
[2010-05-08] frama-c 20100401+boron+dfsg-1 MIGRATED to testing (Britney)
[2010-04-27] Accepted 20100401+boron+dfsg-1 in unstable (low) (Mehdi Dogguy)
[2010-04-20] frama-c 20090902+beryllium+dfsg-5 MIGRATED to testing (Britney)
[2010-03-25] Accepted 20090902+beryllium+dfsg-5 in unstable (low) (Mehdi Dogguy)
[2010-02-25] frama-c 20090902+beryllium+dfsg-4 MIGRATED to testing (Britney)
[2010-02-11] Accepted 20090902+beryllium+dfsg-4 in unstable (low) (Mehdi Dogguy)
[2010-01-22] Accepted 20090902+beryllium+dfsg-3 in unstable (low) (Mehdi Dogguy)
[2010-01-20] Accepted 20090902+beryllium+dfsg-2 in unstable (low) (Mehdi Dogguy)
[2010-01-20] Accepted 20090902+beryllium+dfsg-1 in unstable (low) (Mehdi Dogguy)
[2009-12-12] frama-c 20090901+beryllium+dfsg-2 MIGRATED to testing (Britney)
[2009-12-02] Accepted 20090901+beryllium+dfsg-2 in unstable (low) (Mehdi Dogguy)
[2009-09-21] frama-c 20090901+beryllium+dfsg-1 MIGRATED to testing (Britney)
[2009-09-10] Accepted 20090901+beryllium+dfsg-1 in unstable (low) (Mehdi Dogguy)
[2009-08-29] Accepted 20090601~beta1+dfsg-1 in unstable (low) (Mehdi Dogguy)
[2009-08-04] frama-c 20081201.dfsg-3 MIGRATED to testing (Britney)

bugs

all: 0
RC: 0
I&N: 0
M&W: 0
F&P: 0

links

ubuntu

version: 20111001+nitrogen+dfsg-3

patch-tracker

stable: 20100401+boron+dfsg-5
testing: 20111001+nitrogen+dfsg-3
unstable: 20111001+nitrogen+dfsg-4

Debian Package Tracking System - Copyright © 2002-2009 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
Checkout SVN repository | Browse SVN repository
Last modified: Fri May 25 02:34:58 UTC 2012.