rocq-core имеет зависимость на python2-base. Полагаю, что ошибочно. Предположительно, зависимость появляется из-за /usr/lib64/ocaml/rocq-runtime/tools/make-both-single-timing-files.py, у которого нет shebang. Также в спеке ошибочно указан: BuildRequires: rpm-build-python вместо BuildRequires: rpm-build-python3
rocq-9.2.0-alt2 -> sisyphus: Mon May 11 2026 Leonid Znamenok <respublica@altlinux> 9.2.0-alt2 - Dropped dependency on python2-base (Closes: 59080).