coq - The formal proof system

Age	Commit message (Collapse)	Author
2018-09-20	Update minimum required dependency versions of Sphinx doc.	Théo Zimmermann
	The minimum required versions of the Sphinx-related (and ANTLR) Python packages for Coq 8.10 were chosen as the lower bound between what is currently in Debian Buster and in NixOS 18.09 Jellyfish (in practice the lower bound was always met by NixOS 18.09 Jellyfish). These minimum required versions were documented. In the docker image used by GitLab CI, we install these Python packages through pip as this allows us to pin them to these specific versions. In Travis, we let them unspecified to always test the latest versions. Finally, we also add the new dependencies of the Sphinx PDF manual.
2018-09-10	Have `gitFull` in the nix-shell	Cyril Cohen

2018-09-07	Add utop to default.nix for use in nix-shell (see #8426).	Théo Zimmermann

2018-09-06	Override Dune derivation to update it before nixpkgs.	Théo Zimmermann
	As suggested by Vincent.
2018-09-06	Changes to default.nix to be able to use Dune.	Théo Zimmermann

2018-07-05	[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
	This will be useful for users wanting to build a plugin using this package.
2018-07-03	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
	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.
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
	Sphinx dependencies are now available in unstable channel
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
	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.
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
	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`).