diff options
| author | Théo Zimmermann | 2019-07-02 17:34:05 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-07-02 17:34:05 +0200 |
| commit | a75b66121dada7af491625a2a0f306c8fbcb7bbf (patch) | |
| tree | 3502a9c07fa6b1680bd2a3446f06bb3a9f7ab0c4 | |
| parent | 0cc7e942cd04f7fd28336045e43345b47a48b7a5 (diff) | |
[nix] python2 -> python3
We are not supposed to have any script depending specifically on python2.
| -rw-r--r-- | default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.nix b/default.nix index d5c6cdb8ad..10c5f6be47 100644 --- a/default.nix +++ b/default.nix @@ -41,7 +41,7 @@ stdenv.mkDerivation rec { buildInputs = [ hostname - python2 time # coq-makefile timing tools + python3 time # coq-makefile timing tools dune ] ++ (with ocamlPackages; [ ocaml findlib num ]) |