diff options
| author | Théo Zimmermann | 2018-10-26 10:08:54 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-26 10:08:54 +0200 |
| commit | ebf38e474ad96e430f0cbeef533e2faab5748eeb (patch) | |
| tree | 71396b33c8f5b42efa13d0e488508e26aa2702b2 /default.nix | |
| parent | 1531b831017d594002ed21a966b62081b5e003a6 (diff) | |
[default.nix] Clean-up: use camlp5 instead of synonymous camlp5_strict.
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.nix b/default.nix index 9557d6da47..9a7afbe89e 100644 --- a/default.nix +++ b/default.nix @@ -47,7 +47,7 @@ stdenv.mkDerivation rec { python2 time # coq-makefile timing tools dune ] - ++ (with ocamlPackages; [ ocaml findlib camlp5_strict num ]) + ++ (with ocamlPackages; [ ocaml findlib camlp5 num ]) ++ optional buildIde ocamlPackages.lablgtk ++ optionals buildDoc [ # Sphinx doc dependencies |