Back to bug 1423208
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Fedora End Of Life | 2017-02-28 11:22:17 UTC | Version | rawhide | 26 |
| Fedora Update System | 2017-03-13 07:56:14 UTC | Status | NEW | MODIFIED |
| Fedora Update System | 2017-03-13 09:20:50 UTC | Status | MODIFIED | ON_QA |
| Fedora Update System | 2017-04-01 16:58:26 UTC | Status | ON_QA | CLOSED |
| Fixed In Version | Agda-stdlib-0.13-1.fc26 | |||
| Resolution | --- | ERRATA | ||
| Last Closed | 2017-04-01 12:58:26 UTC |
Back to bug 1423208