aboutsummaryrefslogtreecommitdiffhomepage
path: root/default.nix
Commit message (Expand)AuthorAge
* [default.nix] Adds “ounit” to check dependenciesGravatar Vincent Laporte2018-05-29
* [default.nix] List “hostname” as a dependencyGravatar Vincent Laporte2018-05-29
* [default.nix] Use OCaml 4.06Gravatar Vincent Laporte2018-05-29
* [default.nix] Drop dependency to ocp-indexGravatar Vincent Laporte2018-05-29
* Merge PR #7084: [default.nix] Unpin nixpkgsGravatar Théo Zimmermann2018-05-29
|\
* | One can build all the HTML doc using default.nix.Gravatar Théo Zimmermann2018-05-10
* | [default.nix] Build doc with nix-build.Gravatar Théo Zimmermann2018-04-17
| * [default.nix] Unpin nixpkgsGravatar Maxime Dénès2018-03-27
|/
* [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