nixsearch / pkg / haskellPackages.decidable / 0.3.1.1
haskellPackages.decidable 0.3.1.1
Combinators for manipulating dependently-typed predicates
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.decidable@0.3.1.1
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#haskellPackages.decidable
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.decidable
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.decidable |
b6c8664de9b6 | out/nix/store/8jm7gwb856kzmkpabbkwhswkjnccqsqx-decidable-0.3.1.1 doc (not default)/nix/store/7kl5c0wn6ssvn04zs60yqmb4mg9r957s-decidable-0.3.1.1-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.decidable |
b6c8664de9b6 | out/nix/store/6yrffnmg780ip0c8qn6j08hj320m0kpb-decidable-0.3.1.1 doc (not default)/nix/store/nm29l8vgxyq2mr07fg6mhbrsv1jzg85k-decidable-0.3.1.1-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.decidable |
3d46470bb303 | out/nix/store/p1q7n6kkr95659g8bacy8ay31qyg04iq-decidable-0.3.1.1 doc (not default)/nix/store/jba548mdgk7ci723hy8l7gl4vawzcnz1-decidable-0.3.1.1-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.decidable |
b6c8664de9b6 | out/nix/store/fj5vddm9353krwmqc0z13d01z1m036n3-decidable-0.3.1.1 doc (not default)/nix/store/xwbsv0rfhnaya25lvqjmaigbk4vdbj28-decidable-0.3.1.1-doc |
JSON: /v2/pkg?name=haskellPackages.decidable · /v2/resolve?name=haskellPackages.decidable&version=0.3.1.1