{"name":"cadical","version":"1.9.3","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4b0751bbc680ed971f80be370a2874a72f3d42fc"},"attr_path":"cadical"},"last_updated":"2024-01-09T14:40:23Z","outputs":[{"name":"out","path":"/nix/store/wqsrsqzqbqny876pa13p7bk0rq6j23by-cadical-1.9.3","default":true},{"name":"lib","path":"/nix/store/khiyqqg8jpgdhkyabpl092l1kzxyix2q-cadical-1.9.3-lib"},{"name":"dev","path":"/nix/store/7ig4aj5yi07lj9b06pd337xwqj0angav-cadical-1.9.3-dev"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24fe8bb4f552ad3926274d29e083b79d84707da6"},"attr_path":"cadical"},"last_updated":"2024-01-07T11:22:52Z","outputs":[{"name":"out","path":"/nix/store/yrwcmg7dz73rs6yhhqg88qi29h5g4jga-cadical-1.9.3","default":true},{"name":"dev","path":"/nix/store/a6cbdsj67zk0vf99mm6m775h4g97kxnh-cadical-1.9.3-dev"},{"name":"lib","path":"/nix/store/z4njsnh7pcvj9jfvqkr95fi2px77kn91-cadical-1.9.3-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7"},"attr_path":"cadical"},"last_updated":"2023-12-31T07:44:09Z","outputs":[{"name":"out","path":"/nix/store/apl8n0cwnkzmdmf9awgxi3za4qmbx692-cadical-1.9.3","default":true},{"name":"dev","path":"/nix/store/2pmfp90fwdwx0hchr1grp12sk8c2073l-cadical-1.9.3-dev"},{"name":"lib","path":"/nix/store/p3w38aiik39srm3w414aryz8s11z8r8p-cadical-1.9.3-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7"},"attr_path":"cadical"},"last_updated":"2023-12-31T07:44:09Z","outputs":[{"name":"out","path":"/nix/store/k9dlnk2457yg0m5702cwapfzn57xml57-cadical-1.9.3","default":true},{"name":"dev","path":"/nix/store/lg2wwh28ps64c89185a1d0kdl30m7mmj-cadical-1.9.3-dev"},{"name":"lib","path":"/nix/store/mybl129djf2zycfxk46zkpk6kp6lprl0-cadical-1.9.3-lib"}]}}}