Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [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`). |