nixsearch / pkg / haskellPackages.sbv_9_0 / 9.0
haskellPackages.sbv_9_0 9.0
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
Linux and macOS
last changed
outputs: out, data, doc
Pin this version
$ devbox add haskellPackages.sbv_9_0@9.0
$ nix shell github:NixOS/nixpkgs/7ba7b4599367c07f2f5d1e26151b68a71a1336b2#haskellPackages.sbv_9_0
$ nix shell github:NixOS/nixpkgs/80c24eeb9ff46aa99617844d0c4168659e35175f#haskellPackages.sbv_9_0
$ nix shell github:NixOS/nixpkgs/7b560e9728ee593da83014f67ca2e9c3144bd578#haskellPackages.sbv_9_0
$ nix shell github:NixOS/nixpkgs/2c74fcd6c5fc14a61de158fb796243543f46b217#haskellPackages.sbv_9_0
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.sbv_9_0 |
7ba7b4599367 | out/nix/store/jnw60ri083d68qp3nwpvn9xrx0jbynml-sbv-9.0 data (not default)/nix/store/l4vbx1jxny79wph1dry15bbjafcfl4ha-sbv-9.0-data doc (not default)/nix/store/80kk2c5ji2vczc9bnc9577y4vcq89bsp-sbv-9.0-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.sbv_9_0 |
80c24eeb9ff4 | out/nix/store/10ykk2d1xbp9sm0ck5h93l5pq3fvjji7-sbv-9.0 data (not default)/nix/store/inc550hyb33qv3adhn8lxyqlnihws2y5-sbv-9.0-data doc (not default)/nix/store/v0ixkl4qx3hs5rkcggmn0g8dsys3zh6n-sbv-9.0-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.sbv_9_0 |
7b560e9728ee | out/nix/store/xz4s14ymqzy14ndxidskaan0jcfkpl37-sbv-9.0 data (not default)/nix/store/ssxm880kx9r0k5p75ldv7vbj33nsmvyy-sbv-9.0-data doc (not default)/nix/store/ik84mdb132fqkafw0pw84viqip5hyyqz-sbv-9.0-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.sbv_9_0 |
2c74fcd6c5fc | out/nix/store/sg41rlw4qygxgkqy4l8579diyyzhz6h9-sbv-9.0 data (not default)/nix/store/4yh4a25p4c3dgl4040xib2c482jwb6lr-sbv-9.0-data doc (not default)/nix/store/xqjrm740wvc8mclb86n2802b1s1q15xy-sbv-9.0-doc |
JSON: /v2/pkg?name=haskellPackages.sbv_9_0 · /v2/resolve?name=haskellPackages.sbv_9_0&version=9.0