{"name":"cadical","version":"2.1.1","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8c9fd3e564728e90829ee7dbac6edc972971cd0f"},"attr_path":"cadical"},"last_updated":"2025-01-07T09:15:50Z","outputs":[{"name":"out","path":"/nix/store/8cbkjfwh6g94qhr8ydxfaq00wcypkcp0-cadical-2.1.1","default":true},{"name":"dev","path":"/nix/store/3x5k6myl6akvsmsddclkvsnz9h67mf4r-cadical-2.1.1-dev"},{"name":"lib","path":"/nix/store/7ga2r40dkaryhkf3qrx2kb4mdiadjh59-cadical-2.1.1-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a27871180d30ebee8aa6b11bf7fef8a52f024733"},"attr_path":"cadical"},"last_updated":"2025-01-03T14:51:55Z","outputs":[{"name":"out","path":"/nix/store/hd3fdwbpml6svn1jaispgn7pid331azc-cadical-2.1.1","default":true},{"name":"dev","path":"/nix/store/1kaii4kswj03s4czl9fr3r497sjm17fy-cadical-2.1.1-dev"},{"name":"lib","path":"/nix/store/zx925ai273bkynxiihxb5hzvdnv07fn3-cadical-2.1.1-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4bc9c909d9ac828a039f288cf872d16d38185db8"},"attr_path":"cadical"},"last_updated":"2025-01-08T07:19:28Z","outputs":[{"name":"out","path":"/nix/store/dwi4ayk87d6hwqih93prz8cbsjsiwg2d-cadical-2.1.1","default":true},{"name":"lib","path":"/nix/store/ngbvdqqrvdhpz7zi1rknzlm2fn5whyg1-cadical-2.1.1-lib"},{"name":"dev","path":"/nix/store/xy2kj45lc8sb2q7s7gzz35gczjjs4dn0-cadical-2.1.1-dev"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4bc9c909d9ac828a039f288cf872d16d38185db8"},"attr_path":"cadical"},"last_updated":"2025-01-08T07:19:28Z","outputs":[{"name":"out","path":"/nix/store/ir64k0yanky3vmbqngrxwyxl90jmg9k8-cadical-2.1.1","default":true},{"name":"lib","path":"/nix/store/lzz0p6vzn2ad5sxmd8yv4kh71rf6spwy-cadical-2.1.1-lib"},{"name":"dev","path":"/nix/store/lrahjb49d50bx9jw4x74h7wpjlcxw117-cadical-2.1.1-dev"}]}}}