diff options
Diffstat (limited to 'pkgs/development/libraries/haskell/type-natural/default.nix')
-rw-r--r-- | pkgs/development/libraries/haskell/type-natural/default.nix | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/pkgs/development/libraries/haskell/type-natural/default.nix b/pkgs/development/libraries/haskell/type-natural/default.nix deleted file mode 100644 index 2e56f8c396b..00000000000 --- a/pkgs/development/libraries/haskell/type-natural/default.nix +++ /dev/null @@ -1,20 +0,0 @@ -# This file was auto-generated by cabal2nix. Please do NOT edit manually! - -{ cabal, constraints, equationalReasoning, monomorphic, singletons -}: - -cabal.mkDerivation (self: { - pname = "type-natural"; - version = "0.2.3.1"; - sha256 = "0qi5b3d0vkm1b2kda3ifw6g7djx91wj7q36la02yadlvmb4jcp1g"; - buildDepends = [ - constraints equationalReasoning monomorphic singletons - ]; - meta = { - homepage = "https://github.com/konn/type-natural"; - description = "Type-level natural and proofs of their properties"; - license = self.stdenv.lib.licenses.bsd3; - platforms = self.ghc.meta.platforms; - maintainers = with self.stdenv.lib.maintainers; [ fuuzetsu ]; - }; -}) |