coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[pkg:nix] Stop using lib.inNixShell.	Théo Zimmermann	2018-07-05
\|
*	[pkg:nix] Pass through the ocamlPackages version used to build.	Théo Zimmermann	2018-07-05
\| \| \| \|	This will be useful for users wanting to build a plugin using this package.
*	Refactor default.nix to use optionals.	Théo Zimmermann	2018-07-03
\|
*	Fix timing tools on NixOS.	Théo Zimmermann	2018-07-03
\|
*	Add a test build of Nix package to GitLab CI.	Théo Zimmermann	2018-07-03
\| \| \| \| \| \|	We pin default.nix again to make the CI build predictable. As in Windows builds, we need to override the default before_script. As in other test-suite jobs, we export logs as artifacts on failure.
*	Adapt default.nix to allow nix-build to run the test-suite.	Théo Zimmermann	2018-07-03
\|
*	Adding back ocp-index to default.nix.	Théo Zimmermann	2018-07-02
\|
*	Fix default.nix following a package renaming.	Théo Zimmermann	2018-07-02
\|
*	[default.nix] Adds “ounit” to check dependencies	Vincent Laporte	2018-05-29
\|
*	[default.nix] List “hostname” as a dependency	Vincent Laporte	2018-05-29
\|
*	[default.nix] Use OCaml 4.06	Vincent Laporte	2018-05-29
\|
*	[default.nix] Drop dependency to ocp-index	Vincent Laporte	2018-05-29
\|
*	Merge PR #7084: [default.nix] Unpin nixpkgs	Théo Zimmermann	2018-05-29
\|\
* \|	One can build all the HTML doc using default.nix.	Théo Zimmermann	2018-05-10
\| \|
* \|	[default.nix] Build doc with nix-build.	Théo Zimmermann	2018-04-17
\| \|
\| *	[default.nix] Unpin nixpkgs	Maxime Dénès	2018-03-27
\|/ \| \| \|	Sphinx dependencies are now available in unstable channel
*	[default.nix] Add dependencies of the merging script.	Théo Zimmermann	2018-03-21
\|
*	[default.nix] Pin nixpkgs version to include Sphinx dependencies	Vincent Laporte	2018-03-09
\|
*	[default.nix] minor cleaning	Vincent Laporte	2018-03-09
\|
*	Integration of a sphinx-based documentation generator.	Maxime Dénès	2018-03-09
\| \| \| \| \| \| \| \|	The original contribution is from Clément Pit-Claudel. I updated his code and integrated it with the Coq build system. Many improvements by Paul Steckler (MIT). This commit adds the infrastructure but no content.
*	[default.nix] depends on ocamlPackages.num	Vincent Laporte	2017-12-28
\|
*	[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`).