Debian Package Tracker
Register | Log in
Subscribe

cbmc

bounded model checker for C and C++ programs

Choose email to subscribe with

general
  • source: cbmc (main)
  • version: 5.12-5
  • maintainer: Michael Tautschnig (DMD) (LowNMU)
  • arch: any
  • std-ver: 4.5.0.1
  • VCS: unknown
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 5.6-1
  • oldstable: 5.10-5
  • stable: 5.12-5
  • unstable: 5.12-5
versioned links
  • 5.6-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 5.10-5: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 5.12-5: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • cbmc (1 bugs: 1, 0, 0, 0)
action needed
A new upstream version is available: 5.57.0 high
A new upstream version 5.57.0 is available, you should consider packaging it.
Created: 2020-06-29 Last update: 2022-05-20 19:37
lintian reports 1 warning high
Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of them.
Created: 2020-08-22 Last update: 2021-09-06 09:31
The package has not entered testing even though the delay is over normal
The package has not entered testing even though the 5-day delay is over. Check why.
Created: 2021-10-26 Last update: 2022-05-20 19:35
Build log checks report 1 warning low
Build log checks report 1 warning
Created: 2020-05-01 Last update: 2020-05-01 06:32
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.1 instead of 4.5.0.1).
Created: 2020-11-17 Last update: 2022-05-11 23:25
testing migrations
  • excuses:
    • Migration status for cbmc (- to 5.12-5): BLOCKED: Rejected/violates migration policy/introduces a regression
    • Issues preventing migration:
    • ∙ ∙ Updating cbmc would introduce bugs in testing: #1004463, #984008
    • Additional info:
    • ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/c/cbmc.html
    • ∙ ∙ 746 days old (needed 5 days)
    • Not considered
news
[rss feed]
  • [2021-10-27] cbmc REMOVED from testing (Debian testing watch)
  • [2020-05-15] cbmc 5.12-5 MIGRATED to testing (Debian testing watch)
  • [2020-05-04] Accepted cbmc 5.12-5 (source) into unstable (Michael Tautschnig)
  • [2020-05-01] Accepted cbmc 5.12-4 (source) into unstable (Michael Tautschnig)
  • [2020-04-30] Accepted cbmc 5.12-3 (source) into unstable (Michael Tautschnig)
  • [2020-04-29] Accepted cbmc 5.12-2 (source) into unstable (Michael Tautschnig)
  • [2020-04-28] Accepted cbmc 5.12-1 (source) into unstable (Michael Tautschnig)
  • [2020-04-20] Accepted cbmc 5.10-5.1 (source) into unstable (Adrian Bunk)
  • [2018-10-28] cbmc 5.10-5 MIGRATED to testing (Debian testing watch)
  • [2018-10-17] Accepted cbmc 5.10-5 (source) into unstable (Michael Tautschnig)
  • [2018-10-11] cbmc 5.10-4 MIGRATED to testing (Debian testing watch)
  • [2018-10-01] Accepted cbmc 5.10-4 (source) into unstable (Michael Tautschnig)
  • [2018-09-30] Accepted cbmc 5.10-3 (source) into unstable (Michael Tautschnig)
  • [2018-09-30] Accepted cbmc 5.10-2 (source) into unstable (Michael Tautschnig)
  • [2018-09-29] Accepted cbmc 5.10-1 (source) into unstable (Michael Tautschnig)
  • [2018-07-16] cbmc 5.9-6 MIGRATED to testing (Debian testing watch)
  • [2018-07-05] Accepted cbmc 5.9-6 (source) into unstable (Michael Tautschnig)
  • [2018-07-04] Accepted cbmc 5.9-5 (source) into unstable (Michael Tautschnig)
  • [2018-07-04] Accepted cbmc 5.9-4 (source) into unstable (Michael Tautschnig)
  • [2018-07-03] Accepted cbmc 5.9-3 (source) into unstable (Michael Tautschnig)
  • [2018-07-03] Accepted cbmc 5.9-2 (source) into unstable (Michael Tautschnig)
  • [2018-07-03] Accepted cbmc 5.9-1 (source i386) into unstable (Michael Tautschnig)
  • [2017-09-06] cbmc REMOVED from testing (Debian testing watch)
  • [2016-12-15] cbmc 5.6-1 MIGRATED to testing (Debian testing watch)
  • [2016-12-04] Accepted cbmc 5.6-1 (source i386) into unstable (Michael Tautschnig)
  • [2016-10-16] Accepted cbmc 5.5-1 (source i386) into unstable (Michael Tautschnig)
  • [2016-07-20] cbmc 5.4-3 MIGRATED to testing (Debian testing watch)
  • [2016-07-14] Accepted cbmc 5.4-3 (source i386) into unstable (Michael Tautschnig)
  • [2016-05-20] cbmc 5.4-2 MIGRATED to testing (Debian testing watch)
  • [2016-05-09] Accepted cbmc 5.4-2 (source i386) into unstable (Michael Tautschnig)
  • 1
  • 2
bugs [bug history graph]
  • all: 2 3
  • RC: 2 3
  • I&N: 0
  • M&W: 0
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian (0, 1)
  • buildd: logs, checks, clang, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 5.12-5

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing