frama-c - Debian Package Tracker

general

source: frama-c (main)
version: 20220511-manganese-5
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Mehdi Dogguy [DMD] – Ralf Treinen [DMD]
arch: any
std-ver: 4.6.2
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

o-o-stable: 20171101+sulfur+dfsg-2
oldstable: 20201209+titanium-4.1
stable: 20220511-manganese-3
unstable: 20220511-manganese-5

versioned links

20171101+sulfur+dfsg-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
20201209+titanium-4.1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
20220511-manganese-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
20220511-manganese-5: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

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

action needed

4 binary packages have unsatisfiable dependencies high

The dependencies of frama-c-base=20220511-manganese-5+b13 cannot be satisfied in unstable on armhf and i386 because: unsatisfied dependency on libcairo2-ocaml-c05k5
The dependencies of frama-c-base=20220511-manganese-5+b13 cannot be satisfied in unstable on amd64, ppc64el, and arm64 because: unsatisfied dependency on libcairo2-ocaml-7q5f6
The dependencies of frama-c-base=20220511-manganese-5+b12 cannot be satisfied in unstable on armel and mips64el because: unsatisfied dependency on libcairo2-ocaml-c05k5
The dependencies of frama-c-base=20220511-manganese-5+b13 cannot be satisfied in unstable on s390x because: unsatisfied dependency on libcairo2-ocaml-nw7q1

Created: 2025-01-27 Last update: 2025-07-17 03:30

Debci reports failed tests high

unstable: fail (log)
The tests ran in 0:00:35
Last run: 2025-07-15T06:25:18.000Z
Previous status: unknown

testing: pass (log)
The tests ran in 0:01:20
Last run: 2025-01-27T01:19:59.000Z
Previous status: unknown

stable: pass (log)
The tests ran in 0:00:45
Last run: 2025-06-28T02:07:23.000Z
Previous status: unknown

Created: 2025-02-02 Last update: 2025-07-17 02:34

Problems while searching for a new upstream version high

uscan had problems while searching for a new upstream version:

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

Created: 2020-11-22 Last update: 2025-07-16 22:30

lintian reports 30 errors and 6 warnings high

Lintian reports 30 errors and 6 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2025-01-15 Last update: 2025-01-15 18:01

The package has not entered testing even though the delay is over normal

The package has not entered testing even though the 20-day delay is over. Check why.

Created: 2025-02-02 Last update: 2025-07-17 02:32

RFH: The maintainer is looking for help with this package. normal

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.

Created: 2018-09-04 Last update: 2018-09-04 10:44

Build log checks report 1 warning low

Build log checks report 1 warning

Created: 2024-02-16 Last update: 2024-02-16 22:11

debian/patches: 3 patches to forward upstream low

Among the 4 debian patches available in version 20220511-manganese-5 of the package, we noticed the following issues:

3 patches where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.

Created: 2023-02-26 Last update: 2023-09-09 16:20

Standards version of the package is outdated. wishlist

The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.2 instead of 4.6.2).

Created: 2024-04-07 Last update: 2025-02-27 13:25

testing migrations

excuses:
- Migration status for frama-c (- to 20220511-manganese-5): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ frama-c-base/amd64 has unsatisfiable dependency
- ∙ ∙ frama-c-base/arm64 has unsatisfiable dependency
- ∙ ∙ frama-c-base/armel has unsatisfiable dependency
- ∙ ∙ frama-c-base/armhf has unsatisfiable dependency
- ∙ ∙ frama-c-base/i386 has unsatisfiable dependency
- ∙ ∙ frama-c-base/ppc64el has unsatisfiable dependency
- ∙ ∙ frama-c-base/s390x has unsatisfiable dependency
- ∙ ∙ frama-c-base/riscv64 has unsatisfiable dependency
- ∙ ∙ Updating frama-c would introduce bugs in testing: #1093102
- ∙ ∙ blocked by freeze: is not in testing
- Additional info:
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/f/frama-c.html
- ∙ ∙ uninstallable on arch amd64, not running autopkgtest there
- ∙ ∙ uninstallable on arch arm64, not running autopkgtest there
- ∙ ∙ uninstallable on arch armel, not running autopkgtest there
- ∙ ∙ uninstallable on arch armhf, not running autopkgtest there
- ∙ ∙ uninstallable on arch i386, not running autopkgtest there
- ∙ ∙ uninstallable on arch ppc64el, not running autopkgtest there
- ∙ ∙ uninstallable on arch riscv64, not running autopkgtest there
- ∙ ∙ uninstallable on arch s390x, not running autopkgtest there
- ∙ ∙ Reproducible on armhf - info ♻
- ∙ ∙ 677 days old (needed 20 days)
- Not considered

news

[rss feed]

[2025-02-02] frama-c REMOVED from testing (Debian testing watch)
[2023-09-11] frama-c 20220511-manganese-5 MIGRATED to testing (Debian testing watch)
[2023-09-09] Accepted frama-c 20220511-manganese-5 (source) into unstable (Stéphane Glondu)
[2023-07-21] frama-c 20220511-manganese-4 MIGRATED to testing (Debian testing watch)
[2023-07-13] Accepted frama-c 20220511-manganese-4 (source) into unstable (Stéphane Glondu)
[2022-12-30] frama-c 20220511-manganese-3 MIGRATED to testing (Debian testing watch)
[2022-12-27] Accepted frama-c 20220511-manganese-3 (source) into unstable (Ralf Treinen)
[2022-11-19] frama-c 20220511-manganese-2 MIGRATED to testing (Debian testing watch)
[2022-10-23] Accepted frama-c 20220511-manganese-2 (source) into unstable (Ralf Treinen)
[2022-07-07] frama-c 20220511-manganese-1.3 MIGRATED to testing (Debian testing watch)
[2022-06-27] Accepted frama-c 20220511-manganese-1.3 (source) into unstable (Julien Puydt)
[2022-06-27] Accepted frama-c 20220511-manganese-1.2 (source) into unstable (Julien Puydt)
[2022-06-23] Accepted frama-c 20220511-manganese-1.1 (source) into unstable (Julien Puydt)
[2022-06-18] Accepted frama-c 20220511-manganese-1 (source) into unstable (Ralf Treinen)
[2022-03-25] frama-c 20211203-chromium-1 MIGRATED to testing (Debian testing watch)
[2022-03-23] Accepted frama-c 20211203-chromium-1 (source) into unstable (Ralf Treinen)
[2021-11-27] frama-c REMOVED from testing (Debian testing watch)
[2021-02-23] frama-c 20201209+titanium-4.1 MIGRATED to testing (Debian testing watch)
[2021-02-12] Accepted frama-c 20201209+titanium-4.1 (source) into unstable (Gianfranco Costamagna)
[2021-01-11] Accepted frama-c 20201209+titanium-4 (source) into unstable (Ralf Treinen)
[2021-01-08] Accepted frama-c 20201209+titanium-3 (source) into unstable (Ralf Treinen)
[2021-01-03] Accepted frama-c 20201209+titanium-2 (source) into unstable (Ralf Treinen)
[2021-01-02] Accepted frama-c 20201209+titanium-1 (source) into unstable (Ralf Treinen)
[2020-08-31] frama-c 20200625+scandium-2 MIGRATED to testing (Debian testing watch)
[2020-08-31] frama-c 20200625+scandium-2 MIGRATED to testing (Debian testing watch)
[2020-08-26] Accepted frama-c 20200625+scandium-2 (source) into unstable (Ralf Treinen)
[2020-08-25] Accepted frama-c 20200625+scandium-1 (source) into unstable (Ralf Treinen)
[2020-06-03] frama-c REMOVED from testing (Debian testing watch)
[2020-04-06] frama-c 20191204+calcium-0.1 MIGRATED to testing (Debian testing watch)
[2020-03-31] Accepted frama-c 20191204+calcium-0.1 (source) into unstable (Gianfranco Costamagna)

bugs [bug history graph]

all: 4
RC: 1
I&N: 2
M&W: 1
F&P: 0
patch: 0

links

homepage
lintian (30, 6)
buildd: logs, checks, debcheck, cross
popcon
browse source code
edit tags
other distros
screenshots
debian patches
debci