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