Problem: During investigating traditional coq/Sphinx build issues (preparing Sphinx 5.2.3 to Fedora) I came across an issue where it was stated that coq's docs are not allowed for Debian. That got me curious and here's what I found out: - coq's documentation is published under OPUBL-1.0 (https://github.com/coq/coq/blob/master/doc/LICENSE) - it is considered not allowed for Fedora (see: https://docs.fedoraproject.org/en-US/legal/not-allowed-licenses/) Solution: Parts under the non-free license should not be shipped with the package
Good catch, thanks! Upstream has been aware of this issue for a few years now: https://github.com/coq/coq/issues/8774. I will remove the manual until such time as that issue is resolved.
FEDORA-2022-9480f8869d has been submitted as an update to Fedora 36. https://bodhi.fedoraproject.org/updates/FEDORA-2022-9480f8869d
FEDORA-2022-2edb96ee43 has been submitted as an update to Fedora 35. https://bodhi.fedoraproject.org/updates/FEDORA-2022-2edb96ee43
FEDORA-2022-593ebb986d has been pushed to the Fedora 37 testing repository. Soon you'll be able to install the update with the following command: `sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2022-593ebb986d` You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2022-593ebb986d See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
FEDORA-2022-9480f8869d has been pushed to the Fedora 36 testing repository. Soon you'll be able to install the update with the following command: `sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2022-9480f8869d` You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2022-9480f8869d See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
FEDORA-2022-2edb96ee43 has been pushed to the Fedora 35 testing repository. Soon you'll be able to install the update with the following command: `sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2022-2edb96ee43` You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2022-2edb96ee43 See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
FEDORA-2022-9480f8869d has been pushed to the Fedora 36 stable repository. If problem still persists, please make note of it in this bug report.
FEDORA-2022-2edb96ee43 has been pushed to the Fedora 35 stable repository. If problem still persists, please make note of it in this bug report.
FEDORA-2022-593ebb986d has been pushed to the Fedora 37 stable repository. If problem still persists, please make note of it in this bug report.