nixsearch / pkg / haskellPackages.sbv_9_0

haskellPackages.sbv_9_0

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

BSD-3-Clause hackage.haskell.org haskellPackages.sbv_9_0 1 release newest changed 4 years ago

version9.0 attributehaskellPackages.sbv_9_0 rev

aarch64-darwin 7ba7b4599367c07f2f5d1e26151b68a71a1336b2 2022-12-22

aarch64-linux 80c24eeb9ff46aa99617844d0c4168659e35175f 2022-12-17

x86_64-darwin 7b560e9728ee593da83014f67ca2e9c3144bd578 2022-12-23

x86_64-linux 2c74fcd6c5fc14a61de158fb796243543f46b217 2022-12-23

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

$ devbox add haskellPackages.sbv_9_0@9.0

$ nix shell github:NixOS/nixpkgs/7ba7b4599367c07f2f5d1e26151b68a71a1336b2#haskellPackages.sbv_9_0  # aarch64-darwin

$ nix shell github:NixOS/nixpkgs/80c24eeb9ff46aa99617844d0c4168659e35175f#haskellPackages.sbv_9_0  # aarch64-linux

$ nix shell github:NixOS/nixpkgs/7b560e9728ee593da83014f67ca2e9c3144bd578#haskellPackages.sbv_9_0  # x86_64-darwin

$ nix shell github:NixOS/nixpkgs/2c74fcd6c5fc14a61de158fb796243543f46b217#haskellPackages.sbv_9_0  # x86_64-linux

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

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date	Outputs
9.0resolved	✓	✓	✓	✓	`haskellPackages.sbv_9_0`	varies	2022-12-23	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.