Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.
Bug 1823515
Summary: | yices fails to build with Sphinx 3.0.0 | ||
---|---|---|---|
Product: | [Fedora] Fedora | Reporter: | Charalampos Stratakis <cstratak> |
Component: | yices | Assignee: | Jerry James <loganjerry> |
Status: | CLOSED NEXTRELEASE | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
Severity: | unspecified | Docs Contact: | |
Priority: | unspecified | ||
Version: | rawhide | CC: | cstratak, loganjerry, mhroncok |
Target Milestone: | --- | ||
Target Release: | --- | ||
Hardware: | Unspecified | ||
OS: | Unspecified | ||
Whiteboard: | |||
Fixed In Version: | Doc Type: | If docs needed, set a value | |
Doc Text: | Story Points: | --- | |
Clone Of: | Environment: | ||
Last Closed: | 2020-06-30 17:37:47 UTC | Type: | Bug |
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: | |||
Bug Blocks: | 1803234, 1783776 |
Description
Charalampos Stratakis
2020-04-13 20:54:44 UTC
I have reported the issue upstream and added a workaround to the Fedora package in Rawhide. Thank you. The bug can be closed if you wish, or it can stay open if you'd like to track it in regards to the upstream fix. Sphinx was updated to 3.1.1. Upstream has committed a fix, which will be available in the next release. Closing this bug. |