nixsearch / pkg / haskellPackages.minisat / 0.1.4
haskellPackages.minisat 0.1.4
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.4
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#haskellPackages.minisat
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.minisat
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.minisat |
b6c8664de9b6 | out/nix/store/4g61r5f6kkgf164ivxbrbil1lpp08436-minisat-0.1.4 doc (not default)/nix/store/kvaykpmvhi1in8pl03nigci4j9f6r86q-minisat-0.1.4-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.minisat |
b6c8664de9b6 | out/nix/store/v9amdb1lwvfhca885a7n6l28ww7nwc2a-minisat-0.1.4 doc (not default)/nix/store/x2zyjnn1dkgr5p7xy27jqvxpqz7smiqs-minisat-0.1.4-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.minisat |
3d46470bb303 | out/nix/store/rw2fvawjalrgml8c8dz7lx6id43q7ila-minisat-0.1.4 doc (not default)/nix/store/45pka0idz915myqm6rw36yszjkpc5k92-minisat-0.1.4-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.minisat |
b6c8664de9b6 | out/nix/store/lj5j190w3y77v1dw0p6xsvdbaky80zzm-minisat-0.1.4 doc (not default)/nix/store/b9v3abgj10iwyrbf2h8gd5w2mqk5zgz3-minisat-0.1.4-doc |
JSON: /v2/pkg?name=haskellPackages.minisat · /v2/resolve?name=haskellPackages.minisat&version=0.1.4