gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/coq

Proof assistant written in O'Caml

Screenshots

  • coq-8.19.1
    ~amd64 ~x86
    debug doc gui +ocamlopt test

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo
  • coq-8.19.0
    amd64 ~x86
    debug doc gui +ocamlopt test

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo

USE Flags

debug
Global: Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see http://www.gentoo.org/proj/en/qa/backtraces.xml
doc
Global: Adds extra documentation (API, Javadoc, etc)
gui
Global: Build some GUI components (inside the guest window).
+ocamlopt
* This flag is undocumented *
test
Global: Workaround to pull in packages needed to run with FEATURES=test. Portage-2.1.2 handles this internally, so don't set it in make.conf/package.use anymore