Bug 59080

Summary: rocq-core имеет зависимость на python2-base
Product: Sisyphus Reporter: Антон Мидюков <antohami>
Component: rocqAssignee: Leonid Znamenok <respublica>
Status: CLOSED FIXED QA Contact: qa-sisyphus
Severity: normal    
Priority: P5 CC: respublica
Version: unstable   
Hardware: all   
OS: Linux   

Description Антон Мидюков 2026-05-11 14:59:59 MSK
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
Comment 1 Repository Robot 2026-05-12 00:35:20 MSK
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).