coq - the Coq proof assistant

	Commit message (Expand)	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