diff options
| author | Peter Simons <simons@cryp.to> | 2012-07-14 11:02:38 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2012-07-14 11:02:38 +0200 |
| commit | 3f7c859b8ebecb3c0a86b60052608b2dab75027b (patch) | |
| tree | cdb6d5d2bd74fc0da900ffa28757fdabeb8d5734 /pkgs | |
| parent | b52336f242c17b832728d7544ee8489e81baea7e (diff) | |
haskell-maude: update to version 0.6.1
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/libraries/haskell/maude/default.nix | 8 | ||||
| -rw-r--r-- | pkgs/top-level/haskell-packages.nix | 4 |
2 files changed, 5 insertions, 7 deletions
diff --git a/pkgs/development/libraries/haskell/maude/default.nix b/pkgs/development/libraries/haskell/maude/default.nix index 709156d290f71..84f0d83a92420 100644 --- a/pkgs/development/libraries/haskell/maude/default.nix +++ b/pkgs/development/libraries/haskell/maude/default.nix @@ -1,10 +1,10 @@ -{ cabal, parsec, text }: +{ cabal, filepath, processExtras, temporary, text, xml }: cabal.mkDerivation (self: { pname = "maude"; - version = "0.3.0"; - sha256 = "1z9bk4fzkbfiqqx4mv4cdlckchvcli2gcp40d04ravvj7x6yaghg"; - buildDepends = [ parsec text ]; + version = "0.6.1"; + sha256 = "0qadqpj5vzg84mqh29p6vr2ffih7y69ds0jdpxmr17am5bh3mhql"; + buildDepends = [ filepath processExtras temporary text xml ]; meta = { homepage = "https://github.com/davidlazar/maude-hs"; description = "An interface to the Maude rewriting system"; diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index 5b2e159eff0f8..b5fdcc9a23482 100644 --- a/pkgs/top-level/haskell-packages.nix +++ b/pkgs/top-level/haskell-packages.nix @@ -981,9 +981,7 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y); mainlandPretty = callPackage ../development/libraries/haskell/mainland-pretty {}; - maude = callPackage ../development/libraries/haskell/maude { - parsec = self.parsec3; - }; + maude = callPackage ../development/libraries/haskell/maude {}; MaybeT = callPackage ../development/libraries/haskell/MaybeT {}; |