coq - The formal proof system

Age	Commit message (Expand)	Author
2018-07-03	Adapt default.nix to allow nix-build to run the test-suite.	Théo Zimmermann
2018-07-02	Adding back ocp-index to default.nix.	Théo Zimmermann
2018-07-02	Fix default.nix following a package renaming.	Théo Zimmermann
2018-05-29	[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-10	One can build all the HTML doc using default.nix.	Théo Zimmermann
2018-04-17	[default.nix] Build doc with nix-build.	Théo Zimmermann
2018-03-27	[default.nix] Unpin nixpkgs	Maxime Dénès
2018-03-21	[default.nix] Add dependencies of the merging script.	Théo Zimmermann
2018-03-09	[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
2017-12-28	[default.nix] depends on ocamlPackages.num	Vincent Laporte
2017-12-07	[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-05	[default.nix] explain ncurses dependency	Vincent Laporte
2017-12-04	[default.nix] needs ncurses for the test-suite	Vincent Laporte
2017-11-30	Add merlin in the dependencies of nix-shell only.	Théo Zimmermann
2017-11-09	Introduce default.nix for Nix users.	Théo Zimmermann