Register
|
Log in
News for package
cbmc
[
2023-06-14
]
Accepted cbmc 5.84.0-4 (source) into unstable
(
Michael Tautschnig
)
[
2023-06-12
]
Accepted cbmc 5.84.0-3 (source i386) into unstable
(
Debian FTP Masters
)
(signed by:
Michael Tautschnig
)
[
2023-06-04
]
Accepted cbmc 5.84.0-2 (source) into unstable
(
Michael Tautschnig
)
[
2023-06-02
]
Accepted cbmc 5.84.0-1 (source) into unstable
(
Michael Tautschnig
)
[
2021-10-27
]
cbmc REMOVED from testing
(
Debian testing watch
)
[
2020-05-15
]
cbmc 5.12-5 MIGRATED to testing
(
Debian testing watch
)
[
2020-05-04
]
Accepted cbmc 5.12-5 (source) into unstable
(
Michael Tautschnig
)
[
2020-05-01
]
Accepted cbmc 5.12-4 (source) into unstable
(
Michael Tautschnig
)
[
2020-04-30
]
Accepted cbmc 5.12-3 (source) into unstable
(
Michael Tautschnig
)
[
2020-04-29
]
Accepted cbmc 5.12-2 (source) into unstable
(
Michael Tautschnig
)
[
2020-04-28
]
Accepted cbmc 5.12-1 (source) into unstable
(
Michael Tautschnig
)
[
2020-04-20
]
Accepted cbmc 5.10-5.1 (source) into unstable
(
Adrian Bunk
)
[
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-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
)
1
2
3
4
5