Register
|
Log in
News for package
cbmc
[
2015-02-08
]
Accepted cbmc 5.0-3 (source i386) into unstable
(
Michael Tautschnig
)
[
2015-02-07
]
Accepted cbmc 5.0-2 (source i386) into unstable
(
Michael Tautschnig
)
[
2015-01-29
]
Accepted cbmc 5.0-1 (source i386) into unstable
(
Michael Tautschnig
)
[
2014-12-19
]
Accepted cbmc 4.9-5 (source i386) into unstable
(
Michael Tautschnig
)
[
2014-10-17
]
cbmc 4.9-4 MIGRATED to testing
(
Britney
)
[
2014-10-11
]
Accepted cbmc 4.9-4 (source i386) into unstable
(
Michael Tautschnig
)
[
2014-08-18
]
cbmc 4.9-3 MIGRATED to testing
(
Britney
)
[
2014-08-07
]
Accepted cbmc 4.9-3 (source i386) into unstable
(
Michael Tautschnig
)
[
2014-08-06
]
Accepted cbmc 4.9-2 (source i386) into unstable
(
Michael Tautschnig
)
[
2014-08-03
]
Accepted cbmc 4.9-1 (source i386) into unstable
(
Michael Tautschnig
)
[
2014-07-26
]
cbmc 4.7-2 MIGRATED to testing
(
Britney
)
[
2014-07-15
]
Accepted cbmc 4.7-2 (source i386)
(
Michael Tautschnig
)
[
2014-06-28
]
Accepted cbmc 4.7-1 (source i386)
(
Michael Tautschnig
)
[
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
)
1
2
3
4