diff --git a/flake.nix b/flake.nix
index e9a634360c..77d38a85ff 100644
--- a/flake.nix
+++ b/flake.nix
@@ -106,7 +106,7 @@
           inputsFrom = [ scope'.easycrypt ];
           buildInputs =
               devPackages
-           ++ [ scope'.why3 packages.provers ]
+           ++ [ pkgs.git scope'.why3 packages.provers ]
            ++ (with pkgs.python3Packages; [ pyyaml ]);
         };
       });