Created attachment 21117 [details] видео демонстрации ошибки Версия пакета: coq-coqide-8.20.1-alt1.x86_64 Стенды, на которых производилось тестирование (обновлены до Sisyphus): Alt Education 11.1 KDE/XFCE Alt KWorkstation 11.2 Alt Workstation 11.1 Описание: При нажатии на кнопку Break в выпадающем меню Debug выводится сообщение следующего вида: <имя_файла>: coqidetop died. Сообщение появляется в отдельном окне с возможностью выбрать три варианта: Reset, Save all and quit, Quit without saving. При выборе Reset приложение продолжает свою работу до следующего нажатия кнопки Break. При выборе других вариантов программа корректно выполняет действия в соответствии с функциями кнопок. При запуске из терминала в момент ошибки никаких дополнительных данных не выводится, journalctl и dmesg также не показали никаких отклонений. Прикладываю запись с демонстрацией ошибки.
Шаги воспроизведения: 1) Открыть CoqIDE: $ coqide или через меню приложений: Разработка -> CoqIDE 2) Открыть дроп-меню Debug и нажать Break Реальный результат: Выводится ошибка coqidetop died. Ожидаемый результат: Операция выполняется корректно.
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).
