Register
|
Log in
News for package
cbmc
[
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
)
[
2012-09-19
]
Accepted cbmc 4.2-3 (source i386)
(
Michael Tautschnig
)
[
2012-09-19
]
Accepted cbmc 4.2-2 (source i386)
(
Michael Tautschnig
)
[
2012-09-19
]
Accepted cbmc 4.2-1 (source i386)
(
Michael Tautschnig
)
[
2012-06-01
]
cbmc 4.1-1.2 MIGRATED to testing
(
Debian testing watch
)
[
2012-05-22
]
Accepted cbmc 4.1-1.2 (source amd64)
(
Salvatore Bonaccorso
)
[
2012-05-18
]
Accepted cbmc 4.1-1.1 (source amd64)
(
Salvatore Bonaccorso
)
[
2012-01-29
]
cbmc 4.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2012-01-18
]
Accepted cbmc 4.1-1 (source i386)
(
Michael Tautschnig
)
[
2011-11-02
]
cbmc 4.0-4 MIGRATED to testing
(
Debian testing watch
)
[
2011-10-22
]
Accepted cbmc 4.0-4 (source i386)
(
Michael Tautschnig
)
[
2011-07-21
]
cbmc 4.0-3 MIGRATED to testing
(
Debian testing watch
)
[
2011-07-10
]
Accepted cbmc 4.0-3 (source amd64)
(
Michael Tautschnig
)
[
2011-06-27
]
cbmc 4.0-2 MIGRATED to testing
(
Debian testing watch
)
[
2011-06-15
]
Accepted cbmc 4.0-2 (source amd64)
(
Michael Tautschnig
)
[
2011-06-14
]
Accepted cbmc 4.0-1 (source amd64)
(
Michael Tautschnig
)
[
2011-05-25
]
cbmc 3.9+r41-3 MIGRATED to testing
(
Debian testing watch
)
[
2011-05-14
]
Accepted cbmc 3.9+r41-3 (source amd64)
(
Michael Tautschnig
)
[
2011-05-14
]
Accepted cbmc 3.9+r41-2 (source amd64)
(
Michael Tautschnig
)
[
2011-05-14
]
Accepted cbmc 3.9+r41-1 (source amd64)
(
Michael Tautschnig
)
1
2
3
4
