nixsearch / pkg / haskellPackages.type-natural / 1.1.0.1
haskellPackages.type-natural 1.1.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.1.0.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit4e6868b1aa3766ab1de169922bb3826143941973
$ nix shell github:NixOS/nixpkgs/4e6868b1aa3766ab1de169922bb3826143941973#haskellPackages.type-natural
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.type-natural |
4e6868b1aa37 | out/nix/store/dldanvsnpgy9byvgg7585xp5mp81d136-type-natural-1.1.0.1 doc (not default)/nix/store/hykb73ipmqg9nf8rg231ai4c6c6zywia-type-natural-1.1.0.1-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.type-natural |
4e6868b1aa37 | out/nix/store/qhf32bdizr7l1kmg09p9k4dm069d1ywa-type-natural-1.1.0.1 doc (not default)/nix/store/vl7wsx9c8m6v43v97dfnnszrjlcqhcj8-type-natural-1.1.0.1-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.type-natural |
4e6868b1aa37 | out/nix/store/qpl46d2lpc8ifwi1x2zqp60ghhwb8sn0-type-natural-1.1.0.1 doc (not default)/nix/store/j72qj8axfrc1p4acwg7kj7649kyiknbb-type-natural-1.1.0.1-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.type-natural |
4e6868b1aa37 | out/nix/store/hfl91d65f28g07fqh37k7fmw97icxfgz-type-natural-1.1.0.1 doc (not default)/nix/store/xzpk655fv86i7140qngwwdahswnvb58w-type-natural-1.1.0.1-doc |
JSON: /v2/pkg?name=haskellPackages.type-natural · /v2/resolve?name=haskellPackages.type-natural&version=1.1.0.1