index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
default.nix
Commit message (
Expand
)
Author
Age
*
Adding back ocp-index to default.nix.
Théo Zimmermann
2018-07-02
*
Fix default.nix following a package renaming.
Théo Zimmermann
2018-07-02
*
[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-29
|
\
*
|
One can build all the HTML doc using default.nix.
Théo Zimmermann
2018-05-10
*
|
[default.nix] Build doc with nix-build.
Théo Zimmermann
2018-04-17
|
*
[default.nix] Unpin nixpkgs
Maxime Dénès
2018-03-27
|
/
*
[default.nix] Add dependencies of the merging script.
Théo Zimmermann
2018-03-21
*
[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
2018-03-09
*
[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