Debian Package Tracker
Register | Log in

News for package cbmc

  • [2013-09-05] cbmc 4.5-2 MIGRATED to testing (Debian testing watch)
  • [2013-08-25] Accepted cbmc 4.5-2 (source i386) (Michael Tautschnig)
  • [2013-08-25] Accepted cbmc 4.5-1 (source i386) (Michael Tautschnig)
  • [2013-07-22] cbmc 4.4-2 MIGRATED to testing (Debian testing watch)
  • [2013-07-11] Accepted cbmc 4.4-2 (source i386) (Michael Tautschnig)
  • [2013-07-10] Accepted cbmc 4.4-1 (source i386) (Michael Tautschnig)
  • [2013-07-08] cbmc REMOVED from testing (Debian testing watch)
  • [2013-05-05] cbmc 4.3-6 MIGRATED to testing (Debian testing watch)
  • [2013-02-15] Accepted cbmc 4.3-6 (source i386) (Michael Tautschnig)
  • [2013-02-15] Accepted cbmc 4.3-5 (source i386) (Michael Tautschnig)
  • [2013-02-12] Accepted cbmc 4.3-4 (source i386) (Michael Tautschnig)
  • [2013-02-11] Accepted cbmc 4.3-3 (source i386) (Michael Tautschnig)
  • [2013-02-08] Accepted cbmc 4.3-2 (source i386) (Michael Tautschnig)
  • [2013-02-08] Accepted cbmc 4.3-1 (source i386) (Michael Tautschnig)
  • [2012-09-20] Accepted cbmc 4.2-6 (source i386) (Michael Tautschnig)
  • [2012-09-20] Accepted cbmc 4.2-5 (source i386) (Michael Tautschnig)
  • [2012-09-19] Accepted cbmc 4.2-4 (source i386) (Michael Tautschnig)
  • [2012-09-19] Accepted cbmc 4.2-3 (source i386) (Michael Tautschnig)
  • [2012-09-19] Accepted cbmc 4.2-2 (source i386) (Michael Tautschnig)
  • [2012-09-19] Accepted cbmc 4.2-1 (source i386) (Michael Tautschnig)
  • [2012-06-01] cbmc 4.1-1.2 MIGRATED to testing (Debian testing watch)
  • [2012-05-22] Accepted cbmc 4.1-1.2 (source amd64) (Salvatore Bonaccorso)
  • [2012-05-18] Accepted cbmc 4.1-1.1 (source amd64) (Salvatore Bonaccorso)
  • [2012-01-29] cbmc 4.1-1 MIGRATED to testing (Debian testing watch)
  • [2012-01-18] Accepted cbmc 4.1-1 (source i386) (Michael Tautschnig)
  • [2011-11-02] cbmc 4.0-4 MIGRATED to testing (Debian testing watch)
  • [2011-10-22] Accepted cbmc 4.0-4 (source i386) (Michael Tautschnig)
  • [2011-07-21] cbmc 4.0-3 MIGRATED to testing (Debian testing watch)
  • [2011-07-10] Accepted cbmc 4.0-3 (source amd64) (Michael Tautschnig)
  • [2011-06-27] cbmc 4.0-2 MIGRATED to testing (Debian testing watch)
  • 1
  • 2
  • 3
  • 4
  • 5

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