nixsearch / pkg / haskellPackages.rme / 0.1
haskellPackages.rme 0.1
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
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitee09932cedcef15aaf476f9343d1dea2cb77e261
$ nix shell github:NixOS/nixpkgs/ee09932cedcef15aaf476f9343d1dea2cb77e261#haskellPackages.rme
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.rme |
ee09932cedce | out/nix/store/d4znhfxkds3lsiy2wfc7hzi6d49dwfp3-rme-0.1 doc (not default)/nix/store/bz4jrg1ih5c7lv33mgfqws72mninxqgm-rme-0.1-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.rme |
ee09932cedce | out/nix/store/ws39vfsww17w2mlb4ib6scfva5d7cpzs-rme-0.1 doc (not default)/nix/store/lg0pnrdiv13d8lq9s68x8kvi746ar728-rme-0.1-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.rme |
ee09932cedce | out/nix/store/yran33293k3jrpir5c9b54q01b1nksa5-rme-0.1 doc (not default)/nix/store/v6rfv4gf2dxv5ida38m8mm86l6wywdmj-rme-0.1-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.rme |
ee09932cedce | out/nix/store/c2nqhi1w03pcif0k0bdhrp804mrq9m8m-rme-0.1 doc (not default)/nix/store/jm9gc8wq2svkd0p8f4j38hc2haikf8rb-rme-0.1-doc |
JSON: /v2/pkg?name=haskellPackages.rme · /v2/resolve?name=haskellPackages.rme&version=0.1