2012-07-16 21:53:30 +02:00
|
|
|
{ cabal, mtl, QuickCheck, Stream }:
|
|
|
|
|
|
|
|
|
|
cabal.mkDerivation (self: {
|
|
|
|
|
pname = "IOSpec";
|
|
|
|
|
version = "0.2.5";
|
|
|
|
|
sha256 = "0r6vqg39h6vzwlb33cvk72k4mh6jd8rpdcnkqsfxdqmsk7h8x84j";
|
|
|
|
|
buildDepends = [ mtl QuickCheck Stream ];
|
|
|
|
|
meta = {
|
|
|
|
|
description = "A pure specification of the IO monad";
|
|
|
|
|
license = self.stdenv.lib.licenses.bsd3;
|
|
|
|
|
platforms = self.ghc.meta.platforms;
|
2013-03-23 14:57:25 +01:00
|
|
|
maintainers = [
|
|
|
|
|
self.stdenv.lib.maintainers.andres
|
|
|
|
|
self.stdenv.lib.maintainers.simons
|
|
|
|
|
];
|
2012-07-16 21:53:30 +02:00
|
|
|
};
|
|
|
|
|
})
|
