Bug 676688
| Summary: | Upgrade coq to version 8.3 | ||
|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | abugreporter |
| Component: | coq | Assignee: | Alan Dunn <amdunn> |
| Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
| Severity: | unspecified | Docs Contact: | |
| Priority: | unspecified | ||
| Version: | 14 | CC: | amdunn, fedora-ocaml-list, rjones |
| Target Milestone: | --- | ||
| Target Release: | --- | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
| Whiteboard: | |||
| Fixed In Version: | coq-8.3pl1-2.fc15 | Doc Type: | Bug Fix |
| Doc Text: | Story Points: | --- | |
| Clone Of: | Environment: | ||
| Last Closed: | 2011-04-15 21:48:14 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: | |||
| Bug Depends On: | 691896 | ||
| Bug Blocks: | |||
|
Description
abugreporter
2011-02-10 19:22:01 UTC
coq-8.3pl1-1.fc15 has been submitted as an update for Fedora 15. https://admin.fedoraproject.org/updates/coq-8.3pl1-1.fc15 Package coq-8.3pl1-1.fc15: * should fix your issue, * was pushed to the Fedora 15 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing coq-8.3pl1-1.fc15' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/coq-8.3pl1-1.fc15 then log in and leave karma (feedback). coq-8.3pl1-2.fc15 has been submitted as an update for Fedora 15. https://admin.fedoraproject.org/updates/coq-8.3pl1-2.fc15 coq-8.3pl1-2.fc15 has been pushed to the Fedora 15 stable repository. If problems still persist, please make note of it in this bug report. |