nixsearch / pkg / haskellPackages.type-natural / 1.3.0.0
haskellPackages.type-natural 1.3.0.0
Type-level natural and proofs of their properties
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.type-natural@1.3.0.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commita343533bccc62400e8a9560423486a3b6c11a23b
$ nix shell github:NixOS/nixpkgs/a343533bccc62400e8a9560423486a3b6c11a23b#haskellPackages.type-natural
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.type-natural |
a343533bccc6 | out/nix/store/43lynmkv2yp6spq2qv7bxvznq9982315-type-natural-1.3.0.0 doc (not default)/nix/store/l037b6bzmzn22835vs27hhi03d5rjr9j-type-natural-1.3.0.0-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.type-natural |
a343533bccc6 | out/nix/store/qwwzknwxpyirqya221kn5f11ydz4lqpd-type-natural-1.3.0.0 doc (not default)/nix/store/p7s06ih5vjf4cgqdwbapvdniq2bk94cq-type-natural-1.3.0.0-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.type-natural |
a343533bccc6 | out/nix/store/a5vq8qxs232qf55jb8z4xpjz7ql78kcx-type-natural-1.3.0.0 doc (not default)/nix/store/a886brpps8aaqnl2q5qjwsa5d8gaqvw9-type-natural-1.3.0.0-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.type-natural |
a343533bccc6 | out/nix/store/7nvaz0w8x3z1aqspfp03s3akp3b1m42x-type-natural-1.3.0.0 doc (not default)/nix/store/1b8d822vb1bzf87h90gbi91r03b4b1g7-type-natural-1.3.0.0-doc |
JSON: /v2/pkg?name=haskellPackages.type-natural · /v2/resolve?name=haskellPackages.type-natural&version=1.3.0.0