haskell-sized-types: update to version 0.5.0
This commit is contained in:
parent
e9aa6c017a
commit
63ec22b6b4
@ -1,14 +1,15 @@
|
|||||||
{ cabal }:
|
{ cabal, singletons }:
|
||||||
|
|
||||||
cabal.mkDerivation (self: {
|
cabal.mkDerivation (self: {
|
||||||
pname = "sized-types";
|
pname = "sized-types";
|
||||||
version = "0.3.4.0";
|
version = "0.5.0";
|
||||||
sha256 = "0fpk7xpqzzylxbnxhz56lxzfnrhfibn0x7ahxl91x6biysnh714c";
|
sha256 = "1cvgw2plzgpddg2p74hylx499dv4hn2nc8s085mnayp5n9jkn8md";
|
||||||
isLibrary = true;
|
isLibrary = true;
|
||||||
isExecutable = true;
|
isExecutable = true;
|
||||||
|
buildDepends = [ singletons ];
|
||||||
meta = {
|
meta = {
|
||||||
homepage = "http://www.ittc.ku.edu/csdl/fpg/Tools";
|
homepage = "http://www.ittc.ku.edu/csdl/fpg/Tools";
|
||||||
description = "Sized types in Haskell";
|
description = "Sized types in Haskell using the GHC Nat kind";
|
||||||
license = self.stdenv.lib.licenses.bsd3;
|
license = self.stdenv.lib.licenses.bsd3;
|
||||||
platforms = self.ghc.meta.platforms;
|
platforms = self.ghc.meta.platforms;
|
||||||
};
|
};
|
||||||
|
Loading…
x
Reference in New Issue
Block a user