Register
|
Log in
News for package
cbmc
[
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
)
[
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
)
1
2
3
4
