nixsearch / pkg / haskellPackages.simple-smt / 0.9.7
haskellPackages.simple-smt 0.9.7
A simple way to interact with an SMT solver process
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.simple-smt@0.9.7
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitde1864217bfa9b5845f465e771e0ecb48b30e02d
$ nix shell github:NixOS/nixpkgs/de1864217bfa9b5845f465e771e0ecb48b30e02d#haskellPackages.simple-smt
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.simple-smt |
de1864217bfa | out/nix/store/nb94wpjr5x79calfcbi8qh4zn0vr6hv2-simple-smt-0.9.7 doc (not default)/nix/store/5d5bwspq0i6vd811n8d29j763hxjsqlp-simple-smt-0.9.7-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.simple-smt |
de1864217bfa | out/nix/store/78pmvj3cwjldr3s2nnza2lqz9jdqrfac-simple-smt-0.9.7 doc (not default)/nix/store/2d4swm5kiwv9afy559hq82m3ls6bg5ks-simple-smt-0.9.7-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.simple-smt |
de1864217bfa | out/nix/store/5islwnd857l98dbab9hfy32hjjvd8m6a-simple-smt-0.9.7 doc (not default)/nix/store/1bnfk9s2jxgfkvyg90pdgd63dp23dlfi-simple-smt-0.9.7-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.simple-smt |
de1864217bfa | out/nix/store/n21bh6wk5mw7k5n2gycaynk8mcc69xni-simple-smt-0.9.7 doc (not default)/nix/store/kkikj9qp41yncirvfaiw4miki8c15vv2-simple-smt-0.9.7-doc |
JSON: /v2/pkg?name=haskellPackages.simple-smt · /v2/resolve?name=haskellPackages.simple-smt&version=0.9.7