yices fails to build with Sphinx 3.0.0. sphinx-build -b html -d build/doctrees source build/html Running Sphinx v3.0.1 Extension error: Could not import extension cenum (exception: cannot import name 'l_' from 'sphinx.locale' (/usr/lib/python3.8/site-packages/sphinx/locale/__init__.py)) make: *** [Makefile:54: html] Error 2 make: Leaving directory '/builddir/build/BUILD/yices2-Yices-2.6.2/doc/sphinx' For the build logs, see: https://copr-be.cloud.fedoraproject.org/results/cstratak/sphinx_3.0.0/fedora-rawhide-x86_64/01335418-yices/ For all our attempts to build yices with Sphinx 3.0.0, see: https://copr.fedorainfracloud.org/coprs/cstratak/sphinx_3.0.0/package/yices/ Testing and mass rebuild of packages is happening in copr. You can follow these instructions to test locally in mock if your package builds with Sphinx 3: https://copr.fedorainfracloud.org/coprs/cstratak/sphinx_3.0.0/ Let us know here if you have any questions. Sphinx 3 will be included in Fedora 33. To make that update smoother, we're building the dependent packages in Copr. We'd appreciate help from the people who know this package best, but if you don't want to work on this now, let us know so we can try to work around it on our side.
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.