coq

Description:	Proof assistant written in O'Caml
License:	LGPL-2.1
Homepage:	http://coq.inria.fr/ https://github.com/coq/coq/
Location:	Portage

Legend:

		alpha	amd64	arm	hppa	ia64	m68k	mips	ppc	ppc64	s390	sh	sparc	x86
8.18.0	diff	-	-	-	-	-	-	-	-	-	-	-	-	-
8.17.1		-	-	-	-	-	-	-	-	-	-	-	-	-

debug - Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
gtk - Add support for x11-libs/gtk+ (The GIMP Toolkit)
gui - Enable support for a graphical user interface
ocamlopt - Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
test - Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

Also available in: Atom