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]
  • oldstable: 5.6-1
  • stable: 5.10-5
  • testing: 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
action needed
A new upstream version is available: 5.27.0 high
A new upstream version 5.27.0 is available, you should consider packaging it.
Created: 2020-06-29 Last update: 2021-04-14 09:35
lintian reports 1 warning normal
Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of them.
Created: 2020-08-22 Last update: 2020-08-22 06:03
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.5.1 instead of 4.5.0.1).
Created: 2020-11-17 Last update: 2020-11-17 05:41
news
[rss feed]
  • [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)
  • [2016-04-22] Accepted cbmc 5.4-1 (source i386) into unstable (Michael Tautschnig)
  • 1
  • 2
bugs [bug history graph]
  • all: 1
  • RC: 0
  • I&N: 1
  • M&W: 0
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian (0, 1)
  • buildd: logs, checks, clang, reproducibility, 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