{"name":"haskellPackages.sbv_13_6","summary":"SMT Based Verification: Symbolic Haskell theorem prover using SMT solving","description":"","homepage_url":"https://hackage.haskell.org/package/sbv","license":"BSD-3-Clause","attribute_paths":["haskellPackages.sbv_13_6"],"releases":[{"version":"13.6","last_updated":"2026-05-20T06:38:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.sbv_13_6","commit_hash":"d99b013d5d1931ad77fe3912ed218170dec5d9a4","date":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/90wqa242lgkfa3m5qffzxlrcsdan02cb-sbv-13.6","default":true},{"name":"doc","path":"/nix/store/akpim2mpd8nypkg8q7nn4fqgnw2b6lim-sbv-13.6-doc"},{"name":"data","path":"/nix/store/ifikiyf6hv5b1f6nsilj935agshqj9q7-sbv-13.6-data"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.sbv_13_6","commit_hash":"d233902339c02a9c334e7e593de68855ad26c4cb","date":"2026-05-15T18:21:44Z","outputs":[{"name":"out","path":"/nix/store/wmin2rhvd4qzqchi4wf56hkr7kv52957-sbv-13.6","default":true},{"name":"data","path":"/nix/store/39rxxd9qscjnhl232mhf10cn8lxgl54l-sbv-13.6-data"},{"name":"doc","path":"/nix/store/m23n7s03ga3487rja20y4x7k12v3clkm-sbv-13.6-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.sbv_13_6","commit_hash":"d99b013d5d1931ad77fe3912ed218170dec5d9a4","date":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/z141rywdly109v15dp966br17vvpdhlh-sbv-13.6","default":true},{"name":"data","path":"/nix/store/2s3blr04ci8fhgdij8n45kirawikibxm-sbv-13.6-data"},{"name":"doc","path":"/nix/store/azrb2729nziicf5nqqyrqanf4v2nsszx-sbv-13.6-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.sbv_13_6","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/ir8azm5qgkf3kr9gij6n10jy9nqgjmxc-sbv-13.6","default":true},{"name":"data","path":"/nix/store/smlmqm3kw4jd0mbwvswyd7cx5agqdj8r-sbv-13.6-data"},{"name":"doc","path":"/nix/store/x4qx8hva68qaddvdmh0y6wx1miphgbrh-sbv-13.6-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, data, doc","prerelease":false,"broken":false,"insecure":false}]}