Gentoo Portage Overlays - sci-mathematics/coq

Newest News GLSAs Browse USE Flags Overlays More...

sci-mathematics/coq

Proof assistant written in O'Caml

Screenshots

http://coq.inria.fr/

coq-8.5_p2

~amd64 ~ppc ~x86

gtk debug +ocamlopt doc camlp5

View

Download

Browse License: LGPL-2.1

Overlay: gentoo (layman)

coq-8.5_p1

~amd64 ~ppc ~x86

gtk debug +ocamlopt doc camlp5

View

Download

Browse License: LGPL-2.1

Overlay: gentoo (layman)

coq-8.5

amd64 ppc x86

gtk debug +ocamlopt doc camlp5

View

Download

Browse License: LGPL-2.1

Overlay: gentoo (layman)

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs