{"name":"haskellPackages.sbv_8_17","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_8_17"],"releases":[{"version":"8.17","last_updated":"2022-03-25T14:41:56Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.sbv_8_17","commit_hash":"4d60081494259c0785f7e228518fee74e0792c1b","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.sbv_8_17","commit_hash":"30d3d79b7d3607d56546dd2a6b49e156ba0ec634","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.sbv_8_17","commit_hash":"30d3d79b7d3607d56546dd2a6b49e156ba0ec634","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.sbv_8_17","commit_hash":"98bb5b77c8c6666824a4c13d23befa1e07210ef1","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, data, doc","prerelease":false,"broken":false,"insecure":false}]}