nixsearch / pkg / haskellPackages.TypeNat / 0.5.0.1
haskellPackages.TypeNat 0.5.0.1
Some Nat-indexed types for GHC
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.TypeNat@0.5.0.1
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#haskellPackages.TypeNat
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.TypeNat
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.TypeNat |
b6c8664de9b6 | out/nix/store/81zj53vps7ki738rs23ag4z72jh94sh6-TypeNat-0.5.0.1 doc (not default)/nix/store/r2z4ixkgww85dzpgwwjn8szlq872yb4s-TypeNat-0.5.0.1-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.TypeNat |
b6c8664de9b6 | out/nix/store/2cjm4n3cj5yipm9frn3k3adnqc9dyygc-TypeNat-0.5.0.1 doc (not default)/nix/store/1cf16cnma4c08xkckjk6l5jhz7vppwgs-TypeNat-0.5.0.1-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.TypeNat |
3d46470bb303 | out/nix/store/8mpzcxd2rkwzcbbz6sbvw2wkicxf8wpw-TypeNat-0.5.0.1 doc (not default)/nix/store/cg609zrbh6m194s33sqb98jss74v534c-TypeNat-0.5.0.1-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.TypeNat |
b6c8664de9b6 | out/nix/store/hnjhv2y4c8xi4sddi61y3mcg2mpacdsh-TypeNat-0.5.0.1 doc (not default)/nix/store/ivldmjq5fakhxzidm6cd5hzjz47ablhm-TypeNat-0.5.0.1-doc |
JSON: /v2/pkg?name=haskellPackages.TypeNat · /v2/resolve?name=haskellPackages.TypeNat&version=0.5.0.1