haskellPackages.sbv_8_17 8.17

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

Linux and macOS last changed 2022-03-25 outputs: out, data, doc

Pin this version

$ devbox add haskellPackages.sbv_8_17@8.17

systemsaarch64-darwin commit4d60081494259c0785f7e228518fee74e0792c1b

$ nix shell github:NixOS/nixpkgs/4d60081494259c0785f7e228518fee74e0792c1b#haskellPackages.sbv_8_17

systemsaarch64-linux, x86_64-darwin commit30d3d79b7d3607d56546dd2a6b49e156ba0ec634

$ nix shell github:NixOS/nixpkgs/30d3d79b7d3607d56546dd2a6b49e156ba0ec634#haskellPackages.sbv_8_17

systemsx86_64-linux commit98bb5b77c8c6666824a4c13d23befa1e07210ef1

$ nix shell github:NixOS/nixpkgs/98bb5b77c8c6666824a4c13d23befa1e07210ef1#haskellPackages.sbv_8_17

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`haskellPackages.sbv_8_17`	4d6008149425	2022-03-24	`out` /nix/store/mdpb153yiwmj2h3x9m88sdnblib89m80-sbv-8.17 `data` (not default) /nix/store/2kw3hz7rvfz16mc88d2sy5sa5s5y6j75-sbv-8.17-data `doc` (not default) /nix/store/5jxd5fgawx35x45nz0kdz0ybf9zad6xz-sbv-8.17-doc
`aarch64-linux` Linux · arm64	`haskellPackages.sbv_8_17`	30d3d79b7d36	2022-03-25	`out` /nix/store/3j9rb6ylsx6hbjqqy1gm6fv18ywrjvf4-sbv-8.17 `data` (not default) /nix/store/sayxy5p3xb19dz8gaa2ydbjw035yxjk8-sbv-8.17-data `doc` (not default) /nix/store/ph7j6g7d88fs57pk796wzhz48xx05hv5-sbv-8.17-doc
`x86_64-darwin` macOS · x86-64	`haskellPackages.sbv_8_17`	30d3d79b7d36	2022-03-25	`out` /nix/store/rs5w34v2s8qmbazqadij629nhhajh589-sbv-8.17 `data` (not default) /nix/store/fdvfadd8lak5sjbk5k9zr87j98ij4sln-sbv-8.17-data `doc` (not default) /nix/store/9n7p2y8rp8s62jpbfv8z3wpzjdqbni27-sbv-8.17-doc
`x86_64-linux` Linux · x86-64	`haskellPackages.sbv_8_17`	98bb5b77c8c6	2022-02-09	`out` /nix/store/axffvsigcbn7d5ddv4y13i2saar68z5x-sbv-8.17 `data` (not default) /nix/store/as03fn7hmsr4qyacrp5rhv6cp28875x9-sbv-8.17-data `doc` (not default) /nix/store/kzndlyx5qr3k9b59wmp8f8aa5klzzjza-sbv-8.17-doc