nixsearch / pkg / haskellPackages.smtLib / 1.1
haskellPackages.smtLib 1.1
A library for working with the SMTLIB format
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.smtLib@1.1
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#haskellPackages.smtLib
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.smtLib
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.smtLib |
b6c8664de9b6 | out/nix/store/d4jsxr02nmqdg9v955w7vmzmj9ya7849-smtLib-1.1 doc (not default)/nix/store/idh66jm2cz4a9a486hkld8w8iqxar3w8-smtLib-1.1-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.smtLib |
b6c8664de9b6 | out/nix/store/agcjnyrx8gcam058q3ig73cwqd663zff-smtLib-1.1 doc (not default)/nix/store/1ca2xrgx16hsg2hivaxwqzgddwvb68ax-smtLib-1.1-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.smtLib |
3d46470bb303 | out/nix/store/v9jf0yj8kdnsvw1h7zycraxwgzf5l7ik-smtLib-1.1 doc (not default)/nix/store/mhazmxylvqsfzfnab45q67c5vyd7dy15-smtLib-1.1-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.smtLib |
b6c8664de9b6 | out/nix/store/f2l709vfxzfhf3bgycpnlx4ganp23680-smtLib-1.1 doc (not default)/nix/store/s6iyvrx6rkmmh36ilyarpgwdlcpgcdmw-smtLib-1.1-doc |
JSON: /v2/pkg?name=haskellPackages.smtLib · /v2/resolve?name=haskellPackages.smtLib&version=1.1