diff --git a/pkgs/development/libraries/haskell/maude/default.nix b/pkgs/development/libraries/haskell/maude/default.nix new file mode 100644 index 00000000000..f9d7f68eaf6 --- /dev/null +++ b/pkgs/development/libraries/haskell/maude/default.nix @@ -0,0 +1,18 @@ +{ cabal, text }: + +cabal.mkDerivation (self: { + pname = "maude"; + version = "0.2.1"; + sha256 = "10igixljxfrpns2ffvk4g5dsv2pr8p1f7hc65z5x91n6x8zd01vi"; + buildDepends = [ text ]; + meta = { + homepage = "https://code.google.com/p/maude-hs/"; + description = "An interface to the Maude rewriting system"; + license = self.stdenv.lib.licenses.mit; + platforms = self.ghc.meta.platforms; + maintainers = [ + self.stdenv.lib.maintainers.andres + self.stdenv.lib.maintainers.simons + ]; + }; +}) diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index 7c7cc98a4ed..0d4937e0e02 100644 --- a/pkgs/top-level/haskell-packages.nix +++ b/pkgs/top-level/haskell-packages.nix @@ -815,6 +815,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y); logfloat = callPackage ../development/libraries/haskell/logfloat {}; + maude = callPackage ../development/libraries/haskell/maude {}; + MaybeT = callPackage ../development/libraries/haskell/MaybeT {}; MemoTrie = callPackage ../development/libraries/haskell/MemoTrie {};