Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “coqide” in ubuntu kinetic
Kinetic (22.10)
coqide
No summary available for coqide in ubuntu kinetic.
No description available for coqide in ubuntu kinetic.
Source package
coq 8.15.0+dfsg-2 source package in Ubuntu
Published versions
coqide 8.15.0+dfsg-2 in amd64 (Release)
coqide 8.15.0+dfsg-2 in arm64 (Release)
coqide 8.15.0+dfsg-2 in armhf (Release)
coqide 8.15.0+dfsg-2 in ppc64el (Release)
coqide 8.15.0+dfsg-2 in riscv64 (Release)
coqide 8.15.0+dfsg-2 in s390x (Release)