From dc671b515144cc6207850f4e3761533d582b5c84 Mon Sep 17 00:00:00 2001 From: Alexander Bantyev Date: Thu, 26 Mar 2020 13:20:04 +0300 Subject: [PATCH] More cleanup --- nix/dune-package.nix | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 nix/dune-package.nix 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; -}