{"name":"cadical","version":"1.8.0","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a71323f68d4377d12c04a5410e214495ec598d4c"},"attr_path":"cadical"},"last_updated":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/h4rb4sqm6dra4ki38bxcnhdhxmlcx5xj-cadical-1.8.0","default":true},{"name":"dev","path":"/nix/store/gvkmna626k5i651ic3mwm9bknlhl9sl4-cadical-1.8.0-dev"},{"name":"lib","path":"/nix/store/04bilsjhmphcyfr288001f79a41cnilv-cadical-1.8.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f1f62c94f61343b1dc8e9b91e52975890884f39f"},"attr_path":"cadical"},"last_updated":"2023-11-20T11:26:57Z","outputs":[{"name":"out","path":"/nix/store/al7scgclqy49m1iqryx55sl3nkgbakmh-cadical-1.8.0","default":true},{"name":"dev","path":"/nix/store/fdrfq0w66c6qi06w2chnxz0jcasy8aq9-cadical-1.8.0-dev"},{"name":"lib","path":"/nix/store/5d3sx9sbxl87di9x9gnmxf0p98wqfh1l-cadical-1.8.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"605b6f5e24ea3cbcec3be57853d27b721a6f3ec1"},"attr_path":"cadical"},"last_updated":"2023-11-17T22:53:09Z","outputs":[{"name":"out","path":"/nix/store/z5drzxqm4s76fa7lq84iqpsq743475hq-cadical-1.8.0","default":true},{"name":"dev","path":"/nix/store/xrpbzmjvn76sqi6mx6008y57j5rp2b0d-cadical-1.8.0-dev"},{"name":"lib","path":"/nix/store/23zvp155w1aqakc6kp636k34c91qyyya-cadical-1.8.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f1f62c94f61343b1dc8e9b91e52975890884f39f"},"attr_path":"cadical"},"last_updated":"2023-11-20T11:26:57Z","outputs":[{"name":"out","path":"/nix/store/nrpm3kqw2wwv6i7hzdn9vp3z0wwx2khz-cadical-1.8.0","default":true},{"name":"dev","path":"/nix/store/68rp2qvxqk2rag2b4shqy6sff21hv7vl-cadical-1.8.0-dev"},{"name":"lib","path":"/nix/store/g3hpvhydhmbs3yvdsjgnpawqy34mg5sr-cadical-1.8.0-lib"}]}}}