Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “coq” in ubuntu yakkety
Yakkety (16.10)
coq
No summary available for coq in ubuntu yakkety.
No description available for coq in ubuntu yakkety.
Source package
coq 8.4pl4dfsg-3build2 source package in Ubuntu
Published versions
coq 8.4pl4dfsg-3build2 in amd64 (Release)
coq 8.4pl4dfsg-3build2 in arm64 (Release)
coq 8.4pl4dfsg-3build2 in armhf (Release)
coq 8.4pl4dfsg-3build2 in i386 (Release)
coq 8.4pl4dfsg-3build2 in powerpc (Release)
coq 8.4pl4dfsg-3build2 in ppc64el (Release)
coq 8.4pl4dfsg-3build2 in s390x (Release)