nixsearch / pkg / haskellPackages.type-natural / 1.3.0.1
haskellPackages.type-natural 1.3.0.1
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.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitebe4301cbd8f81c4f8d3244b3632338bbeb6d49c
$ nix shell github:NixOS/nixpkgs/ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c#haskellPackages.type-natural
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.type-natural |
ebe4301cbd8f | out/nix/store/3w9ajzhxqp82z1lh3p8x74w0mqkjz09l-type-natural-1.3.0.1 doc (not default)/nix/store/wfhppgvpx61lmgk66wbmxfa4w4sdgb0n-type-natural-1.3.0.1-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.type-natural |
ebe4301cbd8f | out/nix/store/anwh37hi47hx310r8jmsxa12v0v0pary-type-natural-1.3.0.1 doc (not default)/nix/store/rnvnj7rrksff3jhmkdkvlxqxvbpzypf7-type-natural-1.3.0.1-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.type-natural |
ebe4301cbd8f | out/nix/store/ih8r0zs3dp6x4li1khbhsxc5fpslxj4z-type-natural-1.3.0.1 doc (not default)/nix/store/jndsfcsl26pby7crm8rp3l5hlaq1sd0m-type-natural-1.3.0.1-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.type-natural |
ebe4301cbd8f | out/nix/store/iyibxlci2qsd8ljnk5s6b438cqg1y67a-type-natural-1.3.0.1 doc (not default)/nix/store/whxhf6ks34gw8bypflnda7443yixx179-type-natural-1.3.0.1-doc |
JSON: /v2/pkg?name=haskellPackages.type-natural · /v2/resolve?name=haskellPackages.type-natural&version=1.3.0.1