{"name":"haskellPackages.sbvPlugin","version":"9.14.1","summary":"Formally prove properties of Haskell programs using SBV/SMT","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b86751bc4085f48661017fa226dee99fab6c651b"},"attr_path":"haskellPackages.sbvPlugin"},"last_updated":"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"}]}}}