{"name":"cadical","version":"2.0.0","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d4f247e89f6e10120f911e2e2d2254a050d0f732"},"attr_path":"cadical"},"last_updated":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/1am7x0jrl7fm2lwpzc5m84lrb95gaxbd-cadical-2.0.0","default":true},{"name":"dev","path":"/nix/store/irx85kvx6miv6nwspgj0yxjb5mywbmv1-cadical-2.0.0-dev"},{"name":"lib","path":"/nix/store/wiidnv2wyr13qaqyzd5nf47fcmka36r1-cadical-2.0.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1bde3e8e37a72989d4d455adde764d45f45dc11c"},"attr_path":"cadical"},"last_updated":"2024-10-17T04:50:07Z","outputs":[{"name":"out","path":"/nix/store/vlskxbdixcj09r8lfskk1zq98b2gz7dk-cadical-2.0.0","default":true},{"name":"dev","path":"/nix/store/l34zz8sin3sfn931icm01h6mzdf8nzkl-cadical-2.0.0-dev"},{"name":"lib","path":"/nix/store/d267v68jj287pwp9pnc9nhp80yn2q9yg-cadical-2.0.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1bde3e8e37a72989d4d455adde764d45f45dc11c"},"attr_path":"cadical"},"last_updated":"2024-10-17T04:50:07Z","outputs":[{"name":"out","path":"/nix/store/2lg96pbr5xg01ialvxx3yllrkc3al6vv-cadical-2.0.0","default":true},{"name":"dev","path":"/nix/store/cd6iqwmyjr7gg7j2g76nz4kx0i11k7bw-cadical-2.0.0-dev"},{"name":"lib","path":"/nix/store/vbwy7y9z46njcycii645dykd1zzyggn9-cadical-2.0.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7881fbfd2e3ed1dfa315fca889b2cfd94be39337"},"attr_path":"cadical"},"last_updated":"2024-10-15T08:13:08Z","outputs":[{"name":"out","path":"/nix/store/vbjplba7vbzbmjjj20cq79mpvxb0y8yk-cadical-2.0.0","default":true},{"name":"dev","path":"/nix/store/lb5lqv2bd553gg48lc375j5r6csr1ral-cadical-2.0.0-dev"},{"name":"lib","path":"/nix/store/dj9d95y5dli53k85hjlwim9d530qqcr9-cadical-2.0.0-lib"}]}}}