58680 2026-04-10 18:58:55 +0300 Не выводится документация при нажатии соответствующих кнопок 2026-04-13 23:31:58 +0300 1 1 4 Development Sisyphus coq-coqide unstable x86_64 Linux CLOSED FIXED P5 normal --- 1 hoteevmd respublica respublica rider qa-sisyphus oldest_to_newest 285599 0 hoteevmd 2026-04-10 18:58:55 +0300 Версия пакета: 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) Реальный результат: ничего не происходит Ожидаемый результат: открывается справка по программе. 285724 1 repository-robot 2026-04-13 23:31:58 +0300 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).