Go
Register
|
Log in
Subscribe
cbmc
bounded model checker for C and C++ programs
×
Choose email to subscribe with
general
source:
cbmc
(
main
)
version:
5.10-5
maintainer:
Michael Tautschnig
[
DMD
]
[
LowNMU
]
arch:
any
std-ver:
4.2.1
VCS:
unknown
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
o-o-stable:
4.1-1.2
oldstable:
4.9-4
old-bpo:
5.
2-
1~
bpo8+
1
stable:
5.6-1
testing:
5.10-5
unstable:
5.10-5
versioned links
4.1-1.2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
4.9-4:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
5.
2-
1~
bpo8+
1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
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]
binaries
cbmc
action needed
Build log checks report
1 warning
low
Build log checks
report
1 warning
testing migrations
This package will soon be part of the
auto-libzip
transition. You might want to ensure that your package is ready for it.
You can probably find supplementary information in the
debian-release archives
or in the corresponding
release.debian.org bug
.
news
[rss feed]
[
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-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
)
[
2016-01-31
]
cbmc 5.3-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-01-20
]
Accepted cbmc 5.3-1 (source i386) into unstable
(
Michael Tautschnig
)
[
2015-09-14
]
cbmc 5.2-1 MIGRATED to testing
(
Britney
)
[
2015-09-03
]
Accepted cbmc 5.2-1 (source i386) into unstable
(
Michael Tautschnig
)
[
2015-05-21
]
cbmc 5.1-1 MIGRATED to testing
(
Britney
)
[
2015-05-11
]
Accepted cbmc 5.1-1 (source i386) into unstable
(
Michael Tautschnig
)
1
2
bugs
[bug history graph]
all:
0
links
homepage
lintian
buildd:
logs
,
checks
,
clang
,
reproducibility
popcon
browse source code
edit tags
screenshots
ubuntu
[Information about Ubuntu for Debian Developers]
version:
5.10-5
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/cbmc.png){kind=link}