nixsearch / pkg / haskellPackages.minisat / 0.1.3
haskellPackages.minisat 0.1.3
A Haskell bundle of the Minisat SAT solver
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.minisat@0.1.3
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitf4b140d5b253f5e2a1ff4e5506edbf8267724bde
$ nix shell github:NixOS/nixpkgs/f4b140d5b253f5e2a1ff4e5506edbf8267724bde#haskellPackages.minisat
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.minisat |
f4b140d5b253 | out/nix/store/p7vrf010y28vw64f2kg6fk9x7zgm3p5n-minisat-0.1.3 doc (not default)/nix/store/pr3hx6529pfz5kymhg0q9spafxcd8y5v-minisat-0.1.3-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.minisat |
f4b140d5b253 | out/nix/store/di5cp87nckimvv2519rn4dfcswsay3l8-minisat-0.1.3 doc (not default)/nix/store/gpkrl3jikvv2p2rxw05vy8jdgkyk4kvr-minisat-0.1.3-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.minisat |
f4b140d5b253 | out/nix/store/f7q77w9sq33jyfrbwdmcaixrcwkpk4aq-minisat-0.1.3 doc (not default)/nix/store/gv32xfspcgp3bz568vhkkm70zkgy31xb-minisat-0.1.3-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.minisat |
f4b140d5b253 | out/nix/store/yakqhahml3rhyhnk7gpc6rkv34bvdxsj-minisat-0.1.3 doc (not default)/nix/store/qpjzgyy7mfjrq94y8xlicirmrp4kwzax-minisat-0.1.3-doc |
JSON: /v2/pkg?name=haskellPackages.minisat · /v2/resolve?name=haskellPackages.minisat&version=0.1.3