nixsearch / pkg / haskellPackages.simple-smt / 0.9.8
haskellPackages.simple-smt 0.9.8
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.8
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#haskellPackages.simple-smt
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.simple-smt
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.simple-smt |
b6c8664de9b6 | out/nix/store/rb31gb1smlycapp6lrdm88hixvpb5wfh-simple-smt-0.9.8 doc (not default)/nix/store/fva3x36c655xbq7vx8dvnbizl4iqlnb0-simple-smt-0.9.8-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.simple-smt |
b6c8664de9b6 | out/nix/store/mj84xsmimxlzb6n5pc7h3mikic6is9l9-simple-smt-0.9.8 doc (not default)/nix/store/gwqsm7cvlajb8q20r6ykhpwimjz5vqp2-simple-smt-0.9.8-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.simple-smt |
3d46470bb303 | out/nix/store/r89482f0d73kpmvx3z5rkxppvg00wf9d-simple-smt-0.9.8 doc (not default)/nix/store/akpk2isi06q29bb3l5mz8wna891wcjgf-simple-smt-0.9.8-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.simple-smt |
b6c8664de9b6 | out/nix/store/nwqidcvy65m96fz77sqi9p31y4cl9maj-simple-smt-0.9.8 doc (not default)/nix/store/07dhjk1y3m6aj1asc5rpdx3f061gzaq8-simple-smt-0.9.8-doc |
JSON: /v2/pkg?name=haskellPackages.simple-smt · /v2/resolve?name=haskellPackages.simple-smt&version=0.9.8