{"name":"haskellPackages.sbv_13_6","version":"13.6","summary":"SMT Based Verification: Symbolic Haskell theorem prover using SMT solving","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d99b013d5d1931ad77fe3912ed218170dec5d9a4"},"attr_path":"haskellPackages.sbv_13_6"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d233902339c02a9c334e7e593de68855ad26c4cb"},"attr_path":"haskellPackages.sbv_13_6"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d99b013d5d1931ad77fe3912ed218170dec5d9a4"},"attr_path":"haskellPackages.sbv_13_6"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30"},"attr_path":"haskellPackages.sbv_13_6"},"last_updated":"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"}]}}}