aboutsummaryrefslogtreecommitdiffhomepage
path: root/default.nix
Commit message (Expand)AuthorAge
* [default.nix] Build doc with nix-build.Gravatar Théo Zimmermann2018-04-17
* [default.nix] Add dependencies of the merging script.Gravatar Théo Zimmermann2018-03-21
* [default.nix] Pin nixpkgs version to include Sphinx dependenciesGravatar Vincent Laporte2018-03-09
* [default.nix] minor cleaningGravatar Vincent Laporte2018-03-09
* Integration of a sphinx-based documentation generator.Gravatar Maxime Dénès2018-03-09
* [default.nix] depends on ocamlPackages.numGravatar Vincent Laporte2017-12-28
* [default.nix] Add ocpIndent and ocp-index.Gravatar Maxime Dénès2017-12-07
* Merge PR #6309: [default.nix] needs ncurses for the test-suiteGravatar Maxime Dénès2017-12-07
|\
| * [default.nix] explain ncurses dependencyGravatar Vincent Laporte2017-12-05
| * [default.nix] needs ncurses for the test-suiteGravatar Vincent Laporte2017-12-04
* | Add merlin in the dependencies of nix-shell only.Gravatar Théo Zimmermann2017-11-30
|/
* Introduce default.nix for Nix users.Gravatar Théo Zimmermann2017-11-09