Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/coq
Coq/Rocq is a proof assistant written in O'Caml
Screenshots
https://coq.inria.fr/
https://github.com/coq/coq/
coq-9.0.0
~amd64 ~arm64
debug gui native-compiler +ocamlopt test
View
Download
Browse
License: LGPL-2.1
Overlay:
gentoo
coq-8.20.0-r1
amd64 ~arm64 ~x86
debug doc gui +ocamlopt test
View
Download
Browse
License: LGPL-2.1
Overlay:
gentoo
coq-8.19.2-r1
amd64 ~arm64 ~x86
debug doc gui +ocamlopt test
View
Download
Browse
License: LGPL-2.1
Overlay:
gentoo
coq-8.17.1-r1
~amd64 ~arm64 ~x86
debug doc gui +ocamlopt test
View
Download
Browse
License: LGPL-2.1
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs