diff --git a/nix/dune-package.nix b/nix/dune-package.nix deleted file mode 100644 index 779bd099c..000000000 --- a/nix/dune-package.nix +++ /dev/null @@ -1,7 +0,0 @@ -{ buildDunePackage, $DEPENDS }: -buildDunePackage { - pname = "$name"; - version = "$version"; - buildInputs = [ $DEPENDS_SPACES ]; - src = $source; -}