coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[default.nix] Add ocpIndent and ocp-index.	Maxime Dénès	2017-12-07
\|
*	Merge PR #6309: [default.nix] needs ncurses for the test-suite	Maxime Dénès	2017-12-07
\|\
\| *	[default.nix] explain ncurses dependency	Vincent Laporte	2017-12-05
\| \|
\| *	[default.nix] needs ncurses for the test-suite	Vincent Laporte	2017-12-04
\| \|
* \|	Add merlin in the dependencies of nix-shell only.	Théo Zimmermann	2017-11-30
\|/
*	Introduce default.nix for Nix users.	Théo Zimmermann	2017-11-09
	This file can be used to get in an environment ready to compile Coq (with `nix-shell`) or to compile and install Coq (with `nix-build`).