Bug 507044
| Summary: | Update to latest version | ||
|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Ralph Loader <suckfish> |
| Component: | coq | Assignee: | Alan Dunn <amdunn> |
| Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
| Severity: | low | Docs Contact: | |
| Priority: | low | ||
| Version: | rawhide | CC: | amdunn |
| Target Milestone: | --- | ||
| Target Release: | --- | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Fixed In Version: | 8.2-1.fc11 | Doc Type: | Bug Fix |
| Doc Text: | Story Points: | --- | |
| Clone Of: | Environment: | ||
| Last Closed: | 2009-06-20 01:04:01 UTC | Type: | --- |
| Regression: | --- | Mount Type: | --- |
| Documentation: | --- | CRM: | |
| Verified Versions: | Category: | --- | |
| oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
| Cloudforms Team: | --- | Target Upstream Version: | |
| Embargoed: | |||
|
Description
Ralph Loader
2009-06-20 00:53:05 UTC
Actually, I built that today: http://koji.fedoraproject.org/koji/taskinfo?taskID=1424654 I'll be putting in the updates for F10 and F11 in a minute. Sorry for any inconvenience. Let me know if there are any difficulties. Fantastic, 10 minute turn around on a bug, I think that's the quickest I've ever experienced, thanks :-) coq-8.2-1.fc11 has been submitted as an update for Fedora 11. http://admin.fedoraproject.org/updates/coq-8.2-1.fc11 coq-8.2-1.fc10 has been submitted as an update for Fedora 10. http://admin.fedoraproject.org/updates/coq-8.2-1.fc10 coq-8.2-1.fc10 has been pushed to the Fedora 10 stable repository. If problems still persist, please make note of it in this bug report. coq-8.2-1.fc11 has been pushed to the Fedora 11 stable repository. If problems still persist, please make note of it in this bug report. |