Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “coqide” in ubuntu utopic
Utopic (14.10)
coqide
No summary available for coqide in ubuntu utopic.
No description available for coqide in ubuntu utopic.
Source package
coq 8.4pl3dfsg-1 source package in Ubuntu
Published versions
coqide 8.4pl3dfsg-1 in amd64 (Release)
coqide 8.4pl3dfsg-1 in arm64 (Release)
coqide 8.4pl3dfsg-1 in armhf (Release)
coqide 8.4pl3dfsg-1 in i386 (Release)
coqide 8.4pl3dfsg-1 in powerpc (Release)
coqide 8.4pl3dfsg-1 in ppc64el (Release)