{"name":"cadical","version":"1.9.0","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"cadical"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/j50ys6qg8nmn83821myqb74h0jnfccsb-cadical-1.9.0","default":true},{"name":"dev","path":"/nix/store/z3kc7rm99d0zzlb4182v7gjp6ljp96g9-cadical-1.9.0-dev"},{"name":"lib","path":"/nix/store/s5z5x5a2vfbn60lz730rzps74w35wcb6-cadical-1.9.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"cadical"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/sgijc2zyn29v52rg1q1a9s18zxlh9l37-cadical-1.9.0","default":true},{"name":"dev","path":"/nix/store/5qq314w0ixl419xcqmhzgqvlfgmf3vxw-cadical-1.9.0-dev"},{"name":"lib","path":"/nix/store/pyhgxd4c8cjgiqi4lmd3y4f16c8f8qis-cadical-1.9.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aa9d4729cbc99dabacb50e3994dcefb3ea0f7447"},"attr_path":"cadical"},"last_updated":"2023-12-14T07:33:05Z","outputs":[{"name":"out","path":"/nix/store/maj8bgf686xwcbm78hb7ky7y5dlp617r-cadical-1.9.0","default":true},{"name":"lib","path":"/nix/store/zrzid9af6gacg2xdyz3j582kcbwdxmsw-cadical-1.9.0-lib"},{"name":"dev","path":"/nix/store/yyp9a81mcqqh5mqcp7fgc60ffg8pdqv3-cadical-1.9.0-dev"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"cadical"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/xzi72q5v33hwzrw8p1b3w4ffvcymz6r3-cadical-1.9.0","default":true},{"name":"lib","path":"/nix/store/39rr1iqn2ac8jxd81l6v224jjgn6ayn2-cadical-1.9.0-lib"},{"name":"dev","path":"/nix/store/1289csr8chcpbww2j9szb52wbxzakhvi-cadical-1.9.0-dev"}]}}}