From a75b66121dada7af491625a2a0f306c8fbcb7bbf Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 2 Jul 2019 17:34:05 +0200
Subject: [nix] python2 -> python3

We are not supposed to have any script depending specifically on python2.
---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'default.nix')

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 ])
-- 
cgit v1.2.3