| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/default.nix