nixsearch / pkg / haskellPackages.smtlib-backends / 0.3
haskellPackages.smtlib-backends 0.3
Low-level functions for SMT-LIB-based interaction with SMT solvers
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.smtlib-backends@0.3
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitb60793b86201040d9dee019a05089a9150d08b5b
$ nix shell github:NixOS/nixpkgs/b60793b86201040d9dee019a05089a9150d08b5b#haskellPackages.smtlib-backends
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.smtlib-backends |
b60793b86201 | out/nix/store/zbc8gjs3gdv3zlqg2yjxy4fr2wc7fp1j-smtlib-backends-0.3 doc (not default)/nix/store/clzlmsmc290bzrkhcz72a78jv61ilxz2-smtlib-backends-0.3-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.smtlib-backends |
b60793b86201 | out/nix/store/s4bc3sfhvhz1si51jjl13ghkb71frsz2-smtlib-backends-0.3 doc (not default)/nix/store/ak412xrv2fd9ii7qpf2nwhhnm937hj5k-smtlib-backends-0.3-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.smtlib-backends |
b60793b86201 | out/nix/store/vfsb74sjazxi2bljkr88m8wsmj2lldbd-smtlib-backends-0.3 doc (not default)/nix/store/blw24kvzl4nsk2agfs78q3icvkjqv70x-smtlib-backends-0.3-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.smtlib-backends |
b60793b86201 | out/nix/store/ki1k25psl68idk3km9rqdzmki6zsmyv9-smtlib-backends-0.3 doc (not default)/nix/store/8fjz7d8g9n30rcz03s8bs7d2ki0ld7n1-smtlib-backends-0.3-doc |
JSON: /v2/pkg?name=haskellPackages.smtlib-backends · /v2/resolve?name=haskellPackages.smtlib-backends&version=0.3