nixsearch / pkg / haskellPackages.sbv_8_17

haskellPackages.sbv_8_17

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

BSD-3-Clause hackage.haskell.org haskellPackages.sbv_8_17 1 release newest changed 5 years ago

version8.17 attributehaskellPackages.sbv_8_17 rev

aarch64-darwin 4d60081494259c0785f7e228518fee74e0792c1b 2022-03-24

aarch64-linux 30d3d79b7d3607d56546dd2a6b49e156ba0ec634 2022-03-25

x86_64-darwin 30d3d79b7d3607d56546dd2a6b49e156ba0ec634 2022-03-25

x86_64-linux 98bb5b77c8c6666824a4c13d23befa1e07210ef1 2022-02-09

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

$ devbox add haskellPackages.sbv_8_17@8.17

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

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

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

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

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

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date	Outputs
8.17resolved	✓	✓	✓	✓	`haskellPackages.sbv_8_17`	varies	2022-03-25	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.