{"name":"haskellPackages.sbv_14_0","version":"14.0","summary":"SMT Based Verification: Symbolic Haskell theorem prover using SMT solving","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"haskellPackages.sbv_14_0"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/6p2270irs9kc9lzdxwgz8jzjf0vs3ysb-sbv-14.0","default":true},{"name":"data","path":"/nix/store/670l9n61h3gg894awcf0l1970cprfks4-sbv-14.0-data"},{"name":"doc","path":"/nix/store/7js53zfi7vp590wp9a26gm9niv3axhs1-sbv-14.0-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"haskellPackages.sbv_14_0"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/naxps9vwl04mfi4w9m5hz8563wz53ybk-sbv-14.0","default":true},{"name":"data","path":"/nix/store/cjmlc1304r2ybxcxl9akx6vrvg8j16ii-sbv-14.0-data"},{"name":"doc","path":"/nix/store/j7nb08n46rc00z23b0ga3mbgf0cag8j8-sbv-14.0-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"haskellPackages.sbv_14_0"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/n7vjsc5z4n57ssg6gfpir4yp8x38ccz3-sbv-14.0","default":true},{"name":"data","path":"/nix/store/ikpag8ywkw5jih74s5ppskygcs6inv99-sbv-14.0-data"},{"name":"doc","path":"/nix/store/fkgqrm21s2bm5vrpnanm9pdfrl7fgv2h-sbv-14.0-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"haskellPackages.sbv_14_0"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/qlba17zrrza0szab3r0ybdp6g9h6y15x-sbv-14.0","default":true},{"name":"data","path":"/nix/store/05gvckjaf5fd11h4ivg3q715nm6v27f8-sbv-14.0-data"},{"name":"doc","path":"/nix/store/mk3m594sz6z4lffiyck8izcs72dzndp0-sbv-14.0-doc"}]}}}