| 2023-06-08 10:04:18 |
Danilo Egea Gondolfo |
bug |
|
|
added bug |
| 2023-06-08 10:19:04 |
Danilo Egea Gondolfo |
attachment added |
|
cbmc.debdiff https://bugs.launchpad.net/ubuntu/+source/cbmc/+bug/2023276/+attachment/5678580/+files/cbmc.debdiff |
|
| 2023-06-08 12:18:52 |
Ubuntu Foundations Team Bug Bot |
tags |
|
patch |
|
| 2023-06-08 12:18:56 |
Ubuntu Foundations Team Bug Bot |
bug |
|
|
added subscriber Ubuntu Sponsors |
| 2023-06-15 13:31:52 |
Benjamin Drung |
summary |
FTBFS on all architectures |
cbmc 5.84.0-4 FTBFS on all architectures |
|
| 2023-06-15 13:36:00 |
Benjamin Drung |
removed subscriber Ubuntu Sponsors |
|
|
|
| 2023-06-15 13:36:38 |
Benjamin Drung |
bug |
|
|
added subscriber Benjamin Drung |
