Description of problem: There does not seem to be any package in the Fedora distribution which provides "python3dist(antlr4-runtime)", recommended by python3-sympy. Version-Release number of selected component (if applicable): python3-sympy-0:1.11.1-2.fc37.x86_64 Steps to Reproduce: 1. dnf repoquery --recommends python3-sympy | grep antlr4 2. dnf repoquery --whatprovides 'python3dist(antlr4-runtime)' Actual results: The first command lists "python3dist(antlr4-runtime)", the second lists nothing. Expected results: Both or neither command should give any output.
That should be 'python3dist(antlr4-python3-runtime)'. Thanks for catching this! I will push a fix.
FEDORA-2023-12eb5ca6f7 has been submitted as an update to Fedora 37. https://bodhi.fedoraproject.org/updates/FEDORA-2023-12eb5ca6f7
FEDORA-2023-12eb5ca6f7 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-2023-12eb5ca6f7` You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2023-12eb5ca6f7 See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
FEDORA-2023-4dfcab08af has been pushed to the Fedora 38 testing repository. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2023-4dfcab08af See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
FEDORA-2023-12eb5ca6f7 has been pushed to the Fedora 37 stable repository. If problem still persists, please make note of it in this bug report.
FEDORA-2023-4dfcab08af has been pushed to the Fedora 38 stable repository. If problem still persists, please make note of it in this bug report.