{"name":"cadical","version":"1.5.3","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"945559664c1dc5836173ee12896ba421d9b37181"},"attr_path":"cadical"},"last_updated":"2023-10-07T15:48:00Z","outputs":[{"name":"out","path":"/nix/store/qq115nzpva7w6gg5r6l13z727qzq1407-cadical-1.5.3","default":true},{"name":"dev","path":"/nix/store/js1pjbkjzr6rigdzhx7d5ds570yf0nbs-cadical-1.5.3-dev"},{"name":"lib","path":"/nix/store/8inwlh0x0nxsa1yc431fv58k0c31d7pc-cadical-1.5.3-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2de1be5b51c3d6fa833f1c1f222dc867dd054b31"},"attr_path":"cadical"},"last_updated":"2023-10-07T06:43:49Z","outputs":[{"name":"out","path":"/nix/store/lyd6bhjlwc0b9a68svq1aigw7k0qryyh-cadical-1.5.3","default":true},{"name":"dev","path":"/nix/store/ans8yqxj72xa5w5nz895sdp31jsq8x4i-cadical-1.5.3-dev"},{"name":"lib","path":"/nix/store/5qirz6lmmlv4w9p7a5g9mf7vqv6ld1yi-cadical-1.5.3-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2646b294a146df2781b1ca49092450e8a32814e1"},"attr_path":"cadical"},"last_updated":"2023-10-08T09:32:01Z","outputs":[{"name":"out","path":"/nix/store/cnhv92nbxpb3n8lg44q0a2sb4m60jc0k-cadical-1.5.3","default":true},{"name":"lib","path":"/nix/store/s952nsgxw5rk86wd6ax56bqq79y5nfrd-cadical-1.5.3-lib"},{"name":"dev","path":"/nix/store/brqmkcbjg9pk9vpf15yhzi2jjfq9bz2p-cadical-1.5.3-dev"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5aabb5780a11c500981993d49ee93cfa6df9307b"},"attr_path":"cadical"},"last_updated":"2023-10-08T00:43:42Z","outputs":[{"name":"out","path":"/nix/store/gjzpll69xgdvmlm4cdpbh946hwjypcf4-cadical-1.5.3","default":true},{"name":"dev","path":"/nix/store/5r7f2sqn9w4r1g4kpq010fqy4b8614xp-cadical-1.5.3-dev"},{"name":"lib","path":"/nix/store/njpnkn9r52xylgc9zdyccrz8hykyamc9-cadical-1.5.3-lib"}]}}}