2012-07-14 09:02:38 +00:00
|
|
|
{ cabal, filepath, processExtras, temporary, text, xml }:
|
2011-09-21 16:46:39 +00:00
|
|
|
|
|
|
|
|
cabal.mkDerivation (self: {
|
|
|
|
|
pname = "maude";
|
2012-07-14 09:02:38 +00:00
|
|
|
version = "0.6.1";
|
|
|
|
|
sha256 = "0qadqpj5vzg84mqh29p6vr2ffih7y69ds0jdpxmr17am5bh3mhql";
|
|
|
|
|
buildDepends = [ filepath processExtras temporary text xml ];
|
2011-09-21 16:46:39 +00:00
|
|
|
meta = {
|
2012-01-06 13:30:02 +00:00
|
|
|
homepage = "https://github.com/davidlazar/maude-hs";
|
2011-09-21 16:46:39 +00:00
|
|
|
description = "An interface to the Maude rewriting system";
|
|
|
|
|
license = self.stdenv.lib.licenses.mit;
|
|
|
|
|
platforms = self.ghc.meta.platforms;
|
2013-05-10 22:36:36 +00:00
|
|
|
maintainers = [ self.stdenv.lib.maintainers.andres ];
|
2011-09-21 16:46:39 +00:00
|
|
|
};
|
|
|
|
|
})
|
