nixsearch / pkg / haskellPackages.lean-peano / 1.0.2.0
haskellPackages.lean-peano 1.0.2.0
A maximally lazy, simple implementation of the Peano numbers with minimal dependencies
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.lean-peano@1.0.2.0
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#haskellPackages.lean-peano
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.lean-peano
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.lean-peano |
b6c8664de9b6 | out/nix/store/gcskhb63khcrminnw0xzrcfn8al62klk-lean-peano-1.0.2.0 doc (not default)/nix/store/rkz31kmzjnpw4hx7xwzc9hzy6mq482hw-lean-peano-1.0.2.0-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.lean-peano |
b6c8664de9b6 | out/nix/store/fj0cgbmb9ppm63m64ghgjmkrmkdm009l-lean-peano-1.0.2.0 doc (not default)/nix/store/4cxj3kn4zjiynpihbckfqr9a9nj6jhpw-lean-peano-1.0.2.0-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.lean-peano |
3d46470bb303 | out/nix/store/rpqzninksxmlgkcyw3l5vhi2synh9qk1-lean-peano-1.0.2.0 doc (not default)/nix/store/2jln0l0v7f313s1h6sfn86rwik8y3rrs-lean-peano-1.0.2.0-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.lean-peano |
b6c8664de9b6 | out/nix/store/in9v7s6ra8jxx0aqic8nrj6mqgv8zfw3-lean-peano-1.0.2.0 doc (not default)/nix/store/n6qdv6km28r1fq76a7k6rzfgvrf6pljk-lean-peano-1.0.2.0-doc |
JSON: /v2/pkg?name=haskellPackages.lean-peano · /v2/resolve?name=haskellPackages.lean-peano&version=1.0.2.0