{"name":"haskellPackages.sbvPlugin","summary":"Formally prove properties of Haskell programs using SBV/SMT","description":"","homepage_url":"https://hackage.haskell.org/package/sbvPlugin","license":"BSD-3-Clause","attribute_paths":["haskellPackages.sbvPlugin"],"releases":[{"version":"9.14.1","last_updated":"2026-04-16T08:46:55Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.sbvPlugin","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/p4xjw5gghxhr16xrl2sh1zkdl706y3xg-sbvPlugin-9.14.1","default":true},{"name":"doc","path":"/nix/store/7rakg25ll544bphdlyvhqk9k24z650xc-sbvPlugin-9.14.1-doc"}],"broken":false,"insecure":false}],"platforms_summary":"macOS (Intel only)","outputs_summary":"out (macOS only), doc (macOS only)","prerelease":false,"broken":false,"insecure":false}]}