All errata/sisyphus_riscv64/ALT-PU-2026-7789-1
ALT-PU-2026-7789-1

Package update rocq in branch sisyphus_riscv64

Version9.2.0-alt2
Task#0
Published2026-05-13
Max severityNONE

Closed bugs (1)

Bug #59080

rocq-core имеет зависимость на python2-base