{"name":"haskellPackages.sbv_8_17","version":"8.17","summary":"SMT Based Verification: Symbolic Haskell theorem prover using SMT solving","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4d60081494259c0785f7e228518fee74e0792c1b"},"attr_path":"haskellPackages.sbv_8_17"},"last_updated":"2022-03-24T04:49:18Z","outputs":[{"name":"out","path":"/nix/store/mdpb153yiwmj2h3x9m88sdnblib89m80-sbv-8.17","default":true},{"name":"data","path":"/nix/store/2kw3hz7rvfz16mc88d2sy5sa5s5y6j75-sbv-8.17-data"},{"name":"doc","path":"/nix/store/5jxd5fgawx35x45nz0kdz0ybf9zad6xz-sbv-8.17-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"30d3d79b7d3607d56546dd2a6b49e156ba0ec634"},"attr_path":"haskellPackages.sbv_8_17"},"last_updated":"2022-03-25T14:41:56Z","outputs":[{"name":"out","path":"/nix/store/3j9rb6ylsx6hbjqqy1gm6fv18ywrjvf4-sbv-8.17","default":true},{"name":"data","path":"/nix/store/sayxy5p3xb19dz8gaa2ydbjw035yxjk8-sbv-8.17-data"},{"name":"doc","path":"/nix/store/ph7j6g7d88fs57pk796wzhz48xx05hv5-sbv-8.17-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"30d3d79b7d3607d56546dd2a6b49e156ba0ec634"},"attr_path":"haskellPackages.sbv_8_17"},"last_updated":"2022-03-25T14:41:56Z","outputs":[{"name":"out","path":"/nix/store/rs5w34v2s8qmbazqadij629nhhajh589-sbv-8.17","default":true},{"name":"data","path":"/nix/store/fdvfadd8lak5sjbk5k9zr87j98ij4sln-sbv-8.17-data"},{"name":"doc","path":"/nix/store/9n7p2y8rp8s62jpbfv8z3wpzjdqbni27-sbv-8.17-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"98bb5b77c8c6666824a4c13d23befa1e07210ef1"},"attr_path":"haskellPackages.sbv_8_17"},"last_updated":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/axffvsigcbn7d5ddv4y13i2saar68z5x-sbv-8.17","default":true},{"name":"data","path":"/nix/store/as03fn7hmsr4qyacrp5rhv6cp28875x9-sbv-8.17-data"},{"name":"doc","path":"/nix/store/kzndlyx5qr3k9b59wmp8f8aa5klzzjza-sbv-8.17-doc"}]}}}