2014-07-14 13:21:41 +02:00
|
|
|
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
|
|
|
|
2014-04-28 19:18:01 +02:00
|
|
|
{ cabal, singletons }:
|
2012-12-06 10:54:56 +01:00
|
|
|
|
|
|
|
cabal.mkDerivation (self: {
|
|
|
|
pname = "sized-types";
|
2014-04-28 19:18:01 +02:00
|
|
|
version = "0.5.0";
|
|
|
|
sha256 = "1cvgw2plzgpddg2p74hylx499dv4hn2nc8s085mnayp5n9jkn8md";
|
2012-12-06 10:54:56 +01:00
|
|
|
isLibrary = true;
|
|
|
|
isExecutable = true;
|
2014-04-28 19:18:01 +02:00
|
|
|
buildDepends = [ singletons ];
|
2012-12-06 10:54:56 +01:00
|
|
|
meta = {
|
|
|
|
homepage = "http://www.ittc.ku.edu/csdl/fpg/Tools";
|
2014-04-28 19:18:01 +02:00
|
|
|
description = "Sized types in Haskell using the GHC Nat kind";
|
2012-12-06 10:54:56 +01:00
|
|
|
license = self.stdenv.lib.licenses.bsd3;
|
|
|
|
platforms = self.ghc.meta.platforms;
|
2014-08-20 19:34:45 +02:00
|
|
|
hydraPlatforms = self.stdenv.lib.platforms.none;
|
|
|
|
broken = true;
|
2012-12-06 10:54:56 +01:00
|
|
|
};
|
|
|
|
})
|