Bug 58680

Summary: Не выводится документация при нажатии соответствующих кнопок
Product: Sisyphus Reporter: Mikhail D Hoteev <hoteevmd>
Component: coq-coqideAssignee: Leonid Znamenok <respublica>
Status: CLOSED FIXED QA Contact: qa-sisyphus
Severity: normal    
Priority: P5 CC: respublica, rider
Version: unstable   
Hardware: x86_64   
OS: Linux   

Description Mikhail D Hoteev 2026-04-10 18:58:55 MSK 
Версия пакета:
coq-coqide-8.20.1-alt1.x86_64

Тестировалось на стендах (обновленных до Sisyphus):
Alt Education 11.1 KDE/XFCE
Alt KWorkstation 11.2
Alt Workstation 11.1

Описание:
При нажатии кнопок Help -> Browse Coq Manual и Help -> Browse Coq Library не происходит никакой реакции. То же самое происходит и при нажатии выделенных сочетаний клавиш.

Шаги воспроизведения:
1) Запустить CoqIDE:
$ coqide
Или через меню приложений:
Разработка -> CoqIDE
2) В открывшемся окне открыть дроп-меню Help и нажать кнопки Browse Coq Manual или Browse Coq Library (или комбинации клавиш Ctrl + F1, Ctrl+Shift+F1)

Реальный результат: ничего не происходит

Ожидаемый результат: открывается справка по программе.
Comment 1 Repository Robot 2026-04-13 23:31:58 MSK 
rocq-9.2.0-alt1 -> sisyphus:

* Fri Apr 10 2026 Leonid Znamenok <respublica@altlinux> 9.2.0-alt1
- New Version 9.2.0.
- Renamed coq -> rocq.
- (Closes: 58676, 58680).