nixsearch
nixsearch / pkg / haskellPackages.sbvPlugin

haskellPackages.sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT
BSD-3-Clause hackage.haskell.org haskellPackages.sbvPlugin 1 release newest changed
haskellPackages.sbvPlugin@ latest, 3.11, ^3.11, >=3.10 <3.12
version9.14.1 attributehaskellPackages.sbvPlugin revb86751bc4085f48661017fa226dee99fab6c651b · one commit for every system systemsaarch64-darwinaarch64-linux✓ x86_64-darwinx86_64-linux 
$ devbox add haskellPackages.sbvPlugin@9.14.1
$ nix shell github:NixOS/nixpkgs/b86751bc4085f48661017fa226dee99fab6c651b#haskellPackages.sbvPlugin

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

Releases

newest first, as /v2/pkg orders them
Versionarm
mac		arm
linux		x86
mac		x86
linux		AttributeCommitDateOutputs
9.14.1resolved ––✓– haskellPackages.sbvPlugin b86751bc40 out (macOS only), doc (macOS only)

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