Revert "fix nix"

This reverts commit 44ca1aa.
lukaszcz · Aug 30, 2022 · 035ff83 · 035ff83
1 parent 9ad60bd
commit 035ff83
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/default.nix b/default.nix
@@ -19,7 +19,7 @@ pkgs.stdenv.mkDerivation {
     ++ pkgs.lib.optionals shell [ merlin ocp-indent ocp-index ];
 
   propagatedBuildInputs = [
-    coq dune
+    coq
   ];
 
   src = if shell then null else ./.;