Back to bug 676688
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Jerry James | 2011-03-29 20:13:37 UTC | Depends On | 691896 | |
| Richard W.M. Jones | 2011-03-30 12:32:10 UTC | CC | rjones | |
| Summary | Upgrade to version 8.3 | Upgrade coq to version 8.3 | ||
| Fedora Update System | 2011-04-01 21:13:00 UTC | Status | NEW | MODIFIED |
| Fedora Update System | 2011-04-02 02:47:25 UTC | Status | MODIFIED | ON_QA |
| Fedora Update System | 2011-04-15 21:48:14 UTC | Status | ON_QA | CLOSED |
| Fixed In Version | coq-8.3pl1-2.fc15 | |||
| Resolution | --- | ERRATA | ||
| Last Closed | 2011-04-15 17:48:14 UTC |
Back to bug 676688