{"name":"cadical","version":"2.1.2","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ba0939c506a03c60a765cd7f7c43794816540eec"},"attr_path":"cadical"},"last_updated":"2025-02-13T21:40:15Z","outputs":[{"name":"out","path":"/nix/store/pswwrg02c5zs3yi34m6a7g3w0hwb6m70-cadical-2.1.2","default":true},{"name":"dev","path":"/nix/store/a9xgjzv2adn911m4jqf0zhjp3yk3caxy-cadical-2.1.2-dev"},{"name":"lib","path":"/nix/store/0gls03m329952jlrzrkgjq860xwd5fji-cadical-2.1.2-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1128e89fd5e11bb25aedbfc287733c6502202ea9"},"attr_path":"cadical"},"last_updated":"2025-02-13T13:03:05Z","outputs":[{"name":"out","path":"/nix/store/7fraj0vw9dfj0s0dcc4hy2glw8k8q2bi-cadical-2.1.2","default":true},{"name":"dev","path":"/nix/store/1g3sqqlg419ql1fgdzzgapz2px9j6fja-cadical-2.1.2-dev"},{"name":"lib","path":"/nix/store/pysini4ccircfsw72nkqcv6any93s4zg-cadical-2.1.2-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e8d0b02af0958823c955aaab3c82b03f54411d91"},"attr_path":"cadical"},"last_updated":"2025-02-07T20:06:47Z","outputs":[{"name":"out","path":"/nix/store/n3h2c2qigwhpr8bq00b92b7bl1maffm2-cadical-2.1.2","default":true},{"name":"dev","path":"/nix/store/w9hnlg8psadklyjkfq64yl8m9adij4bz-cadical-2.1.2-dev"},{"name":"lib","path":"/nix/store/v15322hbg03d21m6xky2abf416qjs69r-cadical-2.1.2-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fada727ee7c0bd487e311dede0a2b0725a0f7765"},"attr_path":"cadical"},"last_updated":"2025-02-14T06:00:41Z","outputs":[{"name":"out","path":"/nix/store/82dxyfj3csg4svc9ab6rmwishmlpzng2-cadical-2.1.2","default":true},{"name":"dev","path":"/nix/store/l8bjgr3rgzwf9hs41zvgj0hrbvryc927-cadical-2.1.2-dev"},{"name":"lib","path":"/nix/store/pmcb5z7kkajmmki6ggq2aa0a60kmcsr7-cadical-2.1.2-lib"}]}}}