Register
|
Log in
News for package
cbmc
[
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
)
[
2015-04-27
]
cbmc 5.0-3 MIGRATED to testing
(
Britney
)
[
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
)
1
2
3
4
5
