diff options
| author | Théo Zimmermann | 2020-01-07 16:12:39 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-01-07 16:12:39 +0100 |
| commit | cfc41cb79e2364f19d97e7e5c94262132972b0b2 (patch) | |
| tree | e0ded727148af1f578d5ed7f6e688c15f61d7be1 /default.nix | |
| parent | 15d28e064861da319447489564232a5cb4876a61 (diff) | |
| parent | aad86c49b55bbdaa916c10b84272bec5a2b6a678 (diff) | |
Merge PR #11245: [tools] Remove support for python2
Reviewed-by: JasonGross
Reviewed-by: Zimmi48
Reviewed-by: vbgl
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/default.nix b/default.nix index ee4a6046ea..cfadca54d2 100644 --- a/default.nix +++ b/default.nix @@ -41,7 +41,6 @@ stdenv.mkDerivation rec { buildInputs = [ hostname - python2 # update-compat.py python3 time # coq-makefile timing tools dune ] |