jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

haskell-type-level-natural-number: add version 1.1.1

Browse Source
This commit is contained in:
Peter Simons 2013-01-09 16:57:46 +01:00
parent 490085a811
commit 029439c0f6
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/development/libraries/haskell/type-level-natural-number/default.nix Normal file
View File

@ -0,0 +1,12 @@
{ cabal }:
cabal.mkDerivation (self: {
pname = "type-level-natural-number";
version = "1.1.1";
sha256 = "1zc26nckpcixxp1m818jhzi3dj1ysnjfc2xliq4rpmf5583k6mjw";
meta = {
description = "Simple, Haskell 2010-compatible type level natural numbers";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
};
})

2
pkgs/top-level/haskell-packages.nix
View File

@ -1690,6 +1690,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
typeEquality = callPackage ../development/libraries/haskell/type-equality {};
typeLlevelNaturalNumber = callPackage ../development/libraries/haskell/type-level-natural-number {};
unbound = callPackage ../development/libraries/haskell/unbound {};
uniplate = callPackage ../development/libraries/haskell/uniplate {};