Back to bug 916395
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| nattka | 2023-10-28 13:16:12 UTC | Flags | sanity-check+ | |
| xgqt | 2023-10-28 13:17:00 UTC | Keywords | CC-ARCHES, STABLEREQ | |
| nattka | 2023-10-28 13:20:09 UTC | Package list | =dev-lang/dafny-bin-4.2.0 * | =dev-lang/dafny-bin-4.2.0 |
| CC | amd64 | |||
| arthurzam | 2023-10-28 16:48:06 UTC | Status | CONFIRMED | RESOLVED |
| Resolution | --- | FIXED | ||
| CC | amd64 |
Back to bug 916395