nixsearch / pkg / haskellPackages.rme / 0.1.2
haskellPackages.rme 0.1.2
Reed-Muller Expansion normal form for Boolean Formulas
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.rme@0.1.2
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#haskellPackages.rme
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.rme
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.rme |
b6c8664de9b6 | out/nix/store/d4h8kp4xkilbczcq4ln0cg1xwhvj55q5-rme-0.1.2 doc (not default)/nix/store/s3rz39sqppq6bk0f99ysf0imjgk6srq3-rme-0.1.2-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.rme |
b6c8664de9b6 | out/nix/store/nm3p5cyvh4mn3czkp5bjcnn3m5qvbfhw-rme-0.1.2 doc (not default)/nix/store/mc9g47ibqadgq4204sfa60s2mzl5cvdz-rme-0.1.2-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.rme |
3d46470bb303 | out/nix/store/lsjqybmx48fgmg5f9ms1hmsy4yzqg7m9-rme-0.1.2 doc (not default)/nix/store/dkjqfcw9l9sd56bycryyc8rbb4z46n37-rme-0.1.2-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.rme |
b6c8664de9b6 | out/nix/store/flnvnxffgy0d4qas1w4yzymfm6bav435-rme-0.1.2 doc (not default)/nix/store/dzpabsa8aa9a0ky6f9z2nrm5whsil80r-rme-0.1.2-doc |
JSON: /v2/pkg?name=haskellPackages.rme · /v2/resolve?name=haskellPackages.rme&version=0.1.2