Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “coq” in ubuntu disco
Disco (19.04)
coq
No summary available for coq in ubuntu disco.
No description available for coq in ubuntu disco.
Source package
coq 8.6-5build1 source package in Ubuntu
Published versions
coq 8.6-5build1 in amd64 (Release)
coq 8.6-5build1 in arm64 (Release)
coq 8.6-5build1 in armhf (Release)
coq 8.6-5build1 in i386 (Release)
coq 8.6-5build1 in ppc64el (Release)
coq 8.6-5build1 in s390x (Release)