nixsearch / pkg / haskellPackages.nat-optics / 1.0.0.2
haskellPackages.nat-optics 1.0.0.2
Refinement types for natural numbers with an optics interface
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.nat-optics@1.0.0.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit6f884c2f43c7bb105816303eb4867da672ec6f39
$ nix shell github:NixOS/nixpkgs/6f884c2f43c7bb105816303eb4867da672ec6f39#haskellPackages.nat-optics
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.nat-optics |
6f884c2f43c7 | out/nix/store/giqry8npvrc03wh8v9vlznmjhpnl96v4-nat-optics-1.0.0.2 doc (not default)/nix/store/wjiva0wb70qryhdx7s638rj72q8b9y56-nat-optics-1.0.0.2-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.nat-optics |
6f884c2f43c7 | out/nix/store/nrckh4af0vba9syi8vx9h9mxh7m9q7lj-nat-optics-1.0.0.2 doc (not default)/nix/store/lhs789qajwnvc8xc3mjsv4m8kmnmgw9i-nat-optics-1.0.0.2-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.nat-optics |
6f884c2f43c7 | out/nix/store/1qgamd9wq1a5y013sd71lhbkah8vn4a2-nat-optics-1.0.0.2 doc (not default)/nix/store/a3x65k8ng56hsmc6di1qidgg517qhcm2-nat-optics-1.0.0.2-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.nat-optics |
6f884c2f43c7 | out/nix/store/1cxl5ajjhipzh8c68zyq66z8ki51dj1q-nat-optics-1.0.0.2 doc (not default)/nix/store/vcsj0v6cdlwpcfhv0qngq5ic3vjihhhj-nat-optics-1.0.0.2-doc |
JSON: /v2/pkg?name=haskellPackages.nat-optics · /v2/resolve?name=haskellPackages.nat-optics&version=1.0.0.2