Back to bug 887811
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| xgqt | 2022-12-21 23:24:08 UTC | Keywords | CC-ARCHES, STABLEREQ | |
| Assignee | bug-wranglers | sci-mathematics | ||
| xgqt | 2022-12-21 23:24:19 UTC | Package list | sci-mathematics/lean-3.49.0 amd64 | |
| nattka | 2022-12-21 23:28:13 UTC | Flags | sanity-check+ | |
| CC | amd64 | |||
| sam | 2022-12-21 23:51:56 UTC | Status | CONFIRMED | RESOLVED |
| Resolution | --- | FIXED | ||
| CC | amd64 |
Back to bug 887811