nix: add a dependency to git so that dune-site works correctly

oskgo · Feb 5, 2025 · ee61190 · ee61190
1 parent 782eb5c
commit ee61190
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 ]);
         };
       });