Back to bug 912296
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| xgqt | 2023-08-15 12:01:44 UTC | Keywords | CC-ARCHES, STABLEREQ | |
| Package list | sci-mathematics/coq-8.17.1 amd64 | |||
| nattka | 2023-08-15 12:04:14 UTC | Flags | sanity-check+ | |
| CC | amd64 | |||
| sam | 2023-08-16 02:19:44 UTC | CC | amd64 | |
| Resolution | --- | FIXED | ||
| Status | CONFIRMED | RESOLVED |
Back to bug 912296