haskell-type-level-natural-number: update to version 2.0
This commit is contained in:
parent
dd6092c5e5
commit
1cd1c489a8
1 changed files with 3 additions and 3 deletions
|
@ -2,10 +2,10 @@
|
|||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "type-level-natural-number";
|
||||
version = "1.1.1";
|
||||
sha256 = "1zc26nckpcixxp1m818jhzi3dj1ysnjfc2xliq4rpmf5583k6mjw";
|
||||
version = "2.0";
|
||||
sha256 = "17zgm5ys1z61kxxczz3bzi9m3c48py6pvyx3cqk3xlh1w7n58ryk";
|
||||
meta = {
|
||||
description = "Simple, Haskell 2010-compatible type level natural numbers";
|
||||
description = "Simple type level natural numbers";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
|
|
Loading…
Reference in a new issue