{"name":"haskellPackages.sbv_9_0","version":"9.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":"7ba7b4599367c07f2f5d1e26151b68a71a1336b2"},"attr_path":"haskellPackages.sbv_9_0"},"last_updated":"2022-12-22T16:58:04Z","outputs":[{"name":"out","path":"/nix/store/jnw60ri083d68qp3nwpvn9xrx0jbynml-sbv-9.0","default":true},{"name":"data","path":"/nix/store/l4vbx1jxny79wph1dry15bbjafcfl4ha-sbv-9.0-data"},{"name":"doc","path":"/nix/store/80kk2c5ji2vczc9bnc9577y4vcq89bsp-sbv-9.0-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"haskellPackages.sbv_9_0"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/10ykk2d1xbp9sm0ck5h93l5pq3fvjji7-sbv-9.0","default":true},{"name":"data","path":"/nix/store/inc550hyb33qv3adhn8lxyqlnihws2y5-sbv-9.0-data"},{"name":"doc","path":"/nix/store/v0ixkl4qx3hs5rkcggmn0g8dsys3zh6n-sbv-9.0-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7b560e9728ee593da83014f67ca2e9c3144bd578"},"attr_path":"haskellPackages.sbv_9_0"},"last_updated":"2022-12-23T17:45:29Z","outputs":[{"name":"out","path":"/nix/store/xz4s14ymqzy14ndxidskaan0jcfkpl37-sbv-9.0","default":true},{"name":"data","path":"/nix/store/ssxm880kx9r0k5p75ldv7vbj33nsmvyy-sbv-9.0-data"},{"name":"doc","path":"/nix/store/ik84mdb132fqkafw0pw84viqip5hyyqz-sbv-9.0-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2c74fcd6c5fc14a61de158fb796243543f46b217"},"attr_path":"haskellPackages.sbv_9_0"},"last_updated":"2022-12-23T09:44:32Z","outputs":[{"name":"out","path":"/nix/store/sg41rlw4qygxgkqy4l8579diyyzhz6h9-sbv-9.0","default":true},{"name":"data","path":"/nix/store/4yh4a25p4c3dgl4040xib2c482jwb6lr-sbv-9.0-data"},{"name":"doc","path":"/nix/store/xqjrm740wvc8mclb86n2802b1s1q15xy-sbv-9.0-doc"}]}}}