nixsearch / pkg / haskellPackages.nat-optics / 1.0.1.0
haskellPackages.nat-optics 1.0.1.0
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.1.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commita343533bccc62400e8a9560423486a3b6c11a23b
$ nix shell github:NixOS/nixpkgs/a343533bccc62400e8a9560423486a3b6c11a23b#haskellPackages.nat-optics
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.nat-optics |
a343533bccc6 | out/nix/store/kx2dvvrl1l12xvdkry2dm7zixv4aza7a-nat-optics-1.0.1.0 doc (not default)/nix/store/q1kqa0hab5cnqvcmc71xp7rk5a8jgy14-nat-optics-1.0.1.0-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.nat-optics |
a343533bccc6 | out/nix/store/1s7df8rcysxb3i28jkvfn70mzdxjyx9z-nat-optics-1.0.1.0 doc (not default)/nix/store/973im1h0ff2qnbr4qi697ki401k3zn8s-nat-optics-1.0.1.0-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.nat-optics |
a343533bccc6 | out/nix/store/rw3qxiji6kxsgd3153ckpbjdyh2pyzmc-nat-optics-1.0.1.0 doc (not default)/nix/store/2z6fvjmz3z2j9ihxl6i50i708jns9w06-nat-optics-1.0.1.0-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.nat-optics |
a343533bccc6 | out/nix/store/c9xn9b74z8cn58vwgvrlr5fbya5785lc-nat-optics-1.0.1.0 doc (not default)/nix/store/w9y3g73w1iql773ff5zpsx2i3azaf5zc-nat-optics-1.0.1.0-doc |
JSON: /v2/pkg?name=haskellPackages.nat-optics · /v2/resolve?name=haskellPackages.nat-optics&version=1.0.1.0