{"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":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"haskellPackages.sbv_14_0"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/1y1wqpqgcxdsjpm991ji7acrg0chkjl8-sbv-14.0","default":true},{"name":"data","path":"/nix/store/krz3j61aikihnipqlmcdwa3hixwfrwwh-sbv-14.0-data"},{"name":"doc","path":"/nix/store/awwp43x3425dl733i89w3q3pskp1fljs-sbv-14.0-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"haskellPackages.sbv_14_0"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/2lbajqszg8lba4b6i506s497qs2pdwwa-sbv-14.0","default":true},{"name":"data","path":"/nix/store/brwgg6549s9ixh04sa412jjq8kyqwjfv-sbv-14.0-data"},{"name":"doc","path":"/nix/store/i2qn1hqdcmdnzhrd3rmir21yfhhkrscr-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":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"haskellPackages.sbv_14_0"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/bnzvyn2lpx3a46kb5grrfbysayg2gi1x-sbv-14.0","default":true},{"name":"data","path":"/nix/store/sw6c0gf1z6a9d8fr6xfmf74ina2qg5sj-sbv-14.0-data"},{"name":"doc","path":"/nix/store/505nqqfc79c06wzg2x7c1pg9jrqaa498-sbv-14.0-doc"}]}}}