haskell-maude: updated to version 0.3.0
svn path=/nixpkgs/trunk/; revision=31345
This commit is contained in:
parent
25995d5fb6
commit
671455b8be
@ -1,12 +1,12 @@
|
||||
{ cabal, text }:
|
||||
{ cabal, parsec, text }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "maude";
|
||||
version = "0.2.1";
|
||||
sha256 = "10igixljxfrpns2ffvk4g5dsv2pr8p1f7hc65z5x91n6x8zd01vi";
|
||||
buildDepends = [ text ];
|
||||
version = "0.3.0";
|
||||
sha256 = "1z9bk4fzkbfiqqx4mv4cdlckchvcli2gcp40d04ravvj7x6yaghg";
|
||||
buildDepends = [ parsec text ];
|
||||
meta = {
|
||||
homepage = "https://code.google.com/p/maude-hs/";
|
||||
homepage = "https://github.com/davidlazar/maude-hs";
|
||||
description = "An interface to the Maude rewriting system";
|
||||
license = self.stdenv.lib.licenses.mit;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
|
@ -915,7 +915,9 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
|
||||
|
||||
logfloat = callPackage ../development/libraries/haskell/logfloat {};
|
||||
|
||||
maude = callPackage ../development/libraries/haskell/maude {};
|
||||
maude = callPackage ../development/libraries/haskell/maude {
|
||||
parsec = self.parsec3;
|
||||
};
|
||||
|
||||
MaybeT = callPackage ../development/libraries/haskell/MaybeT {};
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user