Back to bug 293506
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| laurent.chardon | 2026-02-28 19:26:20 UTC | Depends on | 286813 | |
| laurent.chardon | 2026-02-28 19:47:14 UTC | Summary | math/coq: Update to 9.1.1 | math/coq, math/rocq: Update to 9.1.1 |
| laurent | 2026-03-17 12:37:47 UTC | Assignee | ports-bugs | laurent |
| CC | laurent | |||
| diizzy | 2026-03-17 18:03:40 UTC | CC | diizzy | |
| laurent | 2026-03-18 12:15:36 UTC | Attachment #268423 Attachment is obsolete | 0 | 1 |
| Attachment #268901 Flags | maintainer-approval+ | |||
| laurent | 2026-03-18 12:34:00 UTC | Attachment #268901 Attachment is obsolete | 0 | 1 |
| Attachment #268902 Flags | maintainer-approval+ | |||
| laurent | 2026-04-03 18:06:59 UTC | CC | thierry |
Back to bug 293506