2014-07-14 13:21:41 +02:00
|
|
|
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
|
|
|
|
|
2014-02-06 02:18:43 +01:00
|
|
|
{ cabal, preprocessorTools, syb }:
|
|
|
|
|
|
|
|
|
|
cabal.mkDerivation (self: {
|
|
|
|
|
pname = "ixdopp";
|
|
|
|
|
version = "0.1.3";
|
|
|
|
|
sha256 = "1vknwznk42b33q4pmh6z620g761yf3cmsmrmhilgq42i5qhll4d4";
|
|
|
|
|
isLibrary = false;
|
|
|
|
|
isExecutable = true;
|
2014-02-10 11:06:20 +01:00
|
|
|
buildDepends = [ preprocessorTools syb ];
|
2014-02-06 02:18:43 +01:00
|
|
|
meta = {
|
|
|
|
|
homepage = "http://www.eecs.harvard.edu/~tov/pubs/haskell-session-types/";
|
2014-02-10 11:06:20 +01:00
|
|
|
description = "A preprocessor for expanding \"ixdo\" notation for indexed monads";
|
2014-02-06 02:18:43 +01:00
|
|
|
license = self.stdenv.lib.licenses.bsd3;
|
|
|
|
|
platforms = self.ghc.meta.platforms;
|
|
|
|
|
};
|
|
|
|
|
})
|
