haskell-maude: added version 0.2.1
svn path=/nixpkgs/trunk/; revision=29414
This commit is contained in:
parent
b4a6893b85
commit
6bc5b0f215
18
pkgs/development/libraries/haskell/maude/default.nix
Normal file
18
pkgs/development/libraries/haskell/maude/default.nix
Normal file
@ -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
|
||||||
|
];
|
||||||
|
};
|
||||||
|
})
|
@ -815,6 +815,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
|
|||||||
|
|
||||||
logfloat = callPackage ../development/libraries/haskell/logfloat {};
|
logfloat = callPackage ../development/libraries/haskell/logfloat {};
|
||||||
|
|
||||||
|
maude = callPackage ../development/libraries/haskell/maude {};
|
||||||
|
|
||||||
MaybeT = callPackage ../development/libraries/haskell/MaybeT {};
|
MaybeT = callPackage ../development/libraries/haskell/MaybeT {};
|
||||||
|
|
||||||
MemoTrie = callPackage ../development/libraries/haskell/MemoTrie {};
|
MemoTrie = callPackage ../development/libraries/haskell/MemoTrie {};
|
||||||
|
Loading…
Reference in New Issue
Block a user