Skip to content

Coq: disable CoqIDE for Coq < 8.10#522488

Merged
Zimmi48 merged 1 commit into
NixOS:masterfrom
vbgl:coq-exit-coqide-gtk2
May 22, 2026
Merged

Coq: disable CoqIDE for Coq < 8.10#522488
Zimmi48 merged 1 commit into
NixOS:masterfrom
vbgl:coq-exit-coqide-gtk2

Coq: disable CoqIDE for Coq < 8.10

01f96ff
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Job log options

This job was skipped