diff options
Diffstat (limited to 'pkgs/development/libraries/haskell/equational-reasoning/default.nix')
-rw-r--r-- | pkgs/development/libraries/haskell/equational-reasoning/default.nix | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/pkgs/development/libraries/haskell/equational-reasoning/default.nix b/pkgs/development/libraries/haskell/equational-reasoning/default.nix deleted file mode 100644 index b9562573f8f..00000000000 --- a/pkgs/development/libraries/haskell/equational-reasoning/default.nix +++ /dev/null @@ -1,17 +0,0 @@ -# This file was auto-generated by cabal2nix. Please do NOT edit manually! - -{ cabal, singletons, tagged, void }: - -cabal.mkDerivation (self: { - pname = "equational-reasoning"; - version = "0.2.0.4"; - sha256 = "1f94y6h7qg7rck7rxf6j8sygkh1xmfk0z1lr71inx6s74agjyc9j"; - buildDepends = [ singletons tagged void ]; - jailbreak = true; - meta = { - description = "Proof assistant for Haskell using DataKinds & PolyKinds"; - license = self.stdenv.lib.licenses.bsd3; - platforms = self.ghc.meta.platforms; - maintainers = with self.stdenv.lib.maintainers; [ fuuzetsu ]; - }; -}) |