haskellPackages.sbv_13_6 13.6

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

Linux and macOS last changed 2026-05-20 outputs: out, data, doc

Pin this version

$ devbox add haskellPackages.sbv_13_6@13.6

systemsaarch64-darwin, x86_64-darwin commitd99b013d5d1931ad77fe3912ed218170dec5d9a4

$ nix shell github:NixOS/nixpkgs/d99b013d5d1931ad77fe3912ed218170dec5d9a4#haskellPackages.sbv_13_6

systemsaarch64-linux commitd233902339c02a9c334e7e593de68855ad26c4cb

$ nix shell github:NixOS/nixpkgs/d233902339c02a9c334e7e593de68855ad26c4cb#haskellPackages.sbv_13_6

systemsx86_64-linux commit01fbdeef22b76df85ea168fbfe1bfd9e63681b30

$ nix shell github:NixOS/nixpkgs/01fbdeef22b76df85ea168fbfe1bfd9e63681b30#haskellPackages.sbv_13_6

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`haskellPackages.sbv_13_6`	d99b013d5d19	2026-05-20	`out` /nix/store/90wqa242lgkfa3m5qffzxlrcsdan02cb-sbv-13.6 `doc` (not default) /nix/store/akpim2mpd8nypkg8q7nn4fqgnw2b6lim-sbv-13.6-doc `data` (not default) /nix/store/ifikiyf6hv5b1f6nsilj935agshqj9q7-sbv-13.6-data
`aarch64-linux` Linux · arm64	`haskellPackages.sbv_13_6`	d233902339c0	2026-05-15	`out` /nix/store/wmin2rhvd4qzqchi4wf56hkr7kv52957-sbv-13.6 `data` (not default) /nix/store/39rxxd9qscjnhl232mhf10cn8lxgl54l-sbv-13.6-data `doc` (not default) /nix/store/m23n7s03ga3487rja20y4x7k12v3clkm-sbv-13.6-doc
`x86_64-darwin` macOS · x86-64	`haskellPackages.sbv_13_6`	d99b013d5d19	2026-05-20	`out` /nix/store/z141rywdly109v15dp966br17vvpdhlh-sbv-13.6 `data` (not default) /nix/store/2s3blr04ci8fhgdij8n45kirawikibxm-sbv-13.6-data `doc` (not default) /nix/store/azrb2729nziicf5nqqyrqanf4v2nsszx-sbv-13.6-doc
`x86_64-linux` Linux · x86-64	`haskellPackages.sbv_13_6`	01fbdeef22b7	2026-04-23	`out` /nix/store/ir8azm5qgkf3kr9gij6n10jy9nqgjmxc-sbv-13.6 `data` (not default) /nix/store/smlmqm3kw4jd0mbwvswyd7cx5agqdj8r-sbv-13.6-data `doc` (not default) /nix/store/x4qx8hva68qaddvdmh0y6wx1miphgbrh-sbv-13.6-doc