nixsearch / pkg / haskellPackages.sbv_13_6

haskellPackages.sbv_13_6

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

BSD-3-Clause hackage.haskell.org haskellPackages.sbv_13_6 1 release newest changed 4 months ago

version13.6 attributehaskellPackages.sbv_13_6 rev

aarch64-darwin d99b013d5d1931ad77fe3912ed218170dec5d9a4 2026-05-20

aarch64-linux d233902339c02a9c334e7e593de68855ad26c4cb 2026-05-15

x86_64-darwin d99b013d5d1931ad77fe3912ed218170dec5d9a4 2026-05-20

x86_64-linux 01fbdeef22b76df85ea168fbfe1bfd9e63681b30 2026-04-23

systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add haskellPackages.sbv_13_6@13.6

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

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

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

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

JSON: /v2/resolve?name=haskellPackages.sbv_13_6&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date	Outputs
13.6resolved	✓	✓	✓	✓	`haskellPackages.sbv_13_6`	varies	2026-05-20	out, data, doc

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.