Package | Summary | Distribution | Download |
coq-coqide-server-8.18.0-4.fc40.x86_64.html | The coqidetop language server | Fedora Rawhide for x86_64 | coq-coqide-server-8.18.0-4.fc40.x86_64.rpm |
coq-coqide-server-8.18.0-4.fc40.x86_64.html | The coqidetop language server | Fedora 40 for x86_64 | coq-coqide-server-8.18.0-4.fc40.x86_64.rpm |
coq-coqide-server-8.18.0-1.fc39.x86_64.html | The coqidetop language server | Fedora 39 updates for x86_64 | coq-coqide-server-8.18.0-1.fc39.x86_64.rpm |
coq-coqide-server-8.17.1-5.fc39.x86_64.html | The coqidetop language server | Fedora 39 for x86_64 | coq-coqide-server-8.17.1-5.fc39.x86_64.rpm |
coq-coqide-server-8.17.1-1.fc38.x86_64.html | The coqidetop language server | Fedora 38 updates for x86_64 | coq-coqide-server-8.17.1-1.fc38.x86_64.rpm |
coq-coqide-server-8.16.1-3.fc38.x86_64.html | The coqidetop language server | Fedora 38 for x86_64 | coq-coqide-server-8.16.1-3.fc38.x86_64.rpm |
coq-coqide-server-8.16.1-1.fc37.x86_64.html | The coqidetop language server | Fedora 37 updates for x86_64 | coq-coqide-server-8.16.1-1.fc37.x86_64.rpm |
coq-coqide-server-8.16.0-1.fc37.x86_64.html | The coqidetop language server | Fedora 37 for x86_64 | coq-coqide-server-8.16.0-1.fc37.x86_64.rpm |