nixsearch / pkg / haskellPackages.rme / 0.1.1
haskellPackages.rme 0.1.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.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commita1bab9e494f5f4939442a57a58d0449a109593fe
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#haskellPackages.rme
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.rme |
a1bab9e494f5 | out/nix/store/hd6f3nca6as7rx4pgcly16zn27pqi25c-rme-0.1.1 doc (not default)/nix/store/pj0m0k3hhr8qjh9vq0s69j3vg1mhwfvw-rme-0.1.1-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.rme |
a1bab9e494f5 | out/nix/store/8rnsqcdyipbw94fljlic89w6k78mj820-rme-0.1.1 doc (not default)/nix/store/m162iv13j6hlknfvq8kshy2jjnq9f5p3-rme-0.1.1-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.rme |
a1bab9e494f5 | out/nix/store/gxpgs387cjfjqbzlk8ms7q07ahjd58fi-rme-0.1.1 doc (not default)/nix/store/2r8s7jfzm3l0s27hqr0ankia3ws9ybrp-rme-0.1.1-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.rme |
a1bab9e494f5 | out/nix/store/3qq08x7qfkcs77c9fya3j0vr6x71mbzg-rme-0.1.1 doc (not default)/nix/store/rfgidh9iapxqqjzk3fsx3zawhff5cygw-rme-0.1.1-doc |
JSON: /v2/pkg?name=haskellPackages.rme · /v2/resolve?name=haskellPackages.rme&version=0.1.1