nixsearch
nixsearch / pkg / haskellPackages.sbvPlugin / 9.14.1

haskellPackages.sbvPlugin 9.14.1

Formally prove properties of Haskell programs using SBV/SMT
macOS (Intel only) last changed outputs: out (macOS only), doc (macOS only)

Pin this version

$ devbox add haskellPackages.sbvPlugin@9.14.1
systemsx86_64-darwin commitb86751bc4085f48661017fa226dee99fab6c651b 
$ nix shell github:NixOS/nixpkgs/b86751bc4085f48661017fa226dee99fab6c651b#haskellPackages.sbvPlugin

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-darwin
macOS · x86-64		 haskellPackages.sbvPlugin b86751bc4085
out
/nix/store/p4xjw5gghxhr16xrl2sh1zkdl706y3xg-sbvPlugin-9.14.1
doc (not default)
/nix/store/7rakg25ll544bphdlyvhqk9k24z650xc-sbvPlugin-9.14.1-doc
all 1 releases

JSON: /v2/pkg?name=haskellPackages.sbvPlugin · /v2/resolve?name=haskellPackages.sbvPlugin&version=9.14.1