{"name":"cadical","version":"2.1.0","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4989a246d7a390a859852baddb1013f825435cee"},"attr_path":"cadical"},"last_updated":"2024-12-17T11:43:56Z","outputs":[{"name":"out","path":"/nix/store/78w1xm1f18c2lzs2lb3bhy3p3wjhz7jz-cadical-2.1.0","default":true},{"name":"dev","path":"/nix/store/ld21fjd1i10xhsl60q10i8z844dfr386-cadical-2.1.0-dev"},{"name":"lib","path":"/nix/store/kbskscf75w7i3mxll1296sh4zqfwfbym-cadical-2.1.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4989a246d7a390a859852baddb1013f825435cee"},"attr_path":"cadical"},"last_updated":"2024-12-17T11:43:56Z","outputs":[{"name":"out","path":"/nix/store/p2gjrrsyc21byfvac7vl6hyii0x2pqn1-cadical-2.1.0","default":true},{"name":"lib","path":"/nix/store/4jbw4a1hnm2yrvkw901b52pjbkrcfp6r-cadical-2.1.0-lib"},{"name":"dev","path":"/nix/store/xkihhv614hf43lah4h6gql4l6bbl6jxm-cadical-2.1.0-dev"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"93dc9803a1ee435e590b02cde9589038d5cc3a4e"},"attr_path":"cadical"},"last_updated":"2024-12-08T11:15:23Z","outputs":[{"name":"out","path":"/nix/store/7yyamn3k4ca0ax8n34v20vria053gw51-cadical-2.1.0","default":true},{"name":"dev","path":"/nix/store/y02vc71q3dyh73n44ynhwr2r5gq7dypr-cadical-2.1.0-dev"},{"name":"lib","path":"/nix/store/76crlnwzfad577nbjngdjzplp08gx2jh-cadical-2.1.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"cadical"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/gs2gryjfwyrksrpc2cfnxrvi77da4k60-cadical-2.1.0","default":true},{"name":"dev","path":"/nix/store/3csv2qxmpxks1b0ab3rs9r8riqykq3hs-cadical-2.1.0-dev"},{"name":"lib","path":"/nix/store/ryqkcraz27wmdnfl39asl9fjypb9m9z9-cadical-2.1.0-lib"}]}}}