diff options
author | Peter Simons <simons@cryp.to> | 2013-01-09 16:57:46 +0100 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2013-01-09 16:57:46 +0100 |
commit | 029439c0f6d3ac6d10b6b0ecd551a808e89106fc (patch) | |
tree | 1b44e52d7099b34e62a0084f70c71ae896384e20 /pkgs/development/libraries/haskell | |
parent | 490085a81172360c1bf74147682770ef47577193 (diff) | |
download | nixlib-029439c0f6d3ac6d10b6b0ecd551a808e89106fc.tar nixlib-029439c0f6d3ac6d10b6b0ecd551a808e89106fc.tar.gz nixlib-029439c0f6d3ac6d10b6b0ecd551a808e89106fc.tar.bz2 nixlib-029439c0f6d3ac6d10b6b0ecd551a808e89106fc.tar.lz nixlib-029439c0f6d3ac6d10b6b0ecd551a808e89106fc.tar.xz nixlib-029439c0f6d3ac6d10b6b0ecd551a808e89106fc.tar.zst nixlib-029439c0f6d3ac6d10b6b0ecd551a808e89106fc.zip |
haskell-type-level-natural-number: add version 1.1.1
Diffstat (limited to 'pkgs/development/libraries/haskell')
-rw-r--r-- | pkgs/development/libraries/haskell/type-level-natural-number/default.nix | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pkgs/development/libraries/haskell/type-level-natural-number/default.nix b/pkgs/development/libraries/haskell/type-level-natural-number/default.nix new file mode 100644 index 000000000000..8dff0ffd58fc --- /dev/null +++ b/pkgs/development/libraries/haskell/type-level-natural-number/default.nix @@ -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; + }; +}) |