nixsearch / pkg / haskellPackages.boolector / 0.0.0.13
haskellPackages.boolector 0.0.0.13
Haskell bindings for the Boolector SMT solver
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.boolector@0.0.0.13
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#haskellPackages.boolector
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.boolector
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.boolector |
b6c8664de9b6 | out/nix/store/1yf565dma3117sagwy68z1hi9pv3x11i-boolector-0.0.0.13 doc (not default)/nix/store/z46j7r3n2k4616mv2pz97x67nhkhvvhz-boolector-0.0.0.13-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.boolector |
b6c8664de9b6 | out/nix/store/jmraq5znmhryfm9qbhhn066javh004qm-boolector-0.0.0.13 doc (not default)/nix/store/nqm3h976gnqryg7d72igq0wm7p22gxbf-boolector-0.0.0.13-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.boolector |
3d46470bb303 | out/nix/store/9mqkmr0dfdipb2c90y99wdvv6gi2cs4d-boolector-0.0.0.13 doc (not default)/nix/store/hfxs8wv93dbxnfj5q5hqgal938wykffl-boolector-0.0.0.13-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.boolector |
b6c8664de9b6 | out/nix/store/mais2lsc4rgj085vlz10gj260x91i369-boolector-0.0.0.13 doc (not default)/nix/store/85w3vlvhpnfl0ijwi2yghg3krhhysgy5-boolector-0.0.0.13-doc |
JSON: /v2/pkg?name=haskellPackages.boolector · /v2/resolve?name=haskellPackages.boolector&version=0.0.0.13