{"name":"cadical","version":"1.9.5","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b9014df496d5b68bf7c0145d0e9b0f529ce4f2a8"},"attr_path":"cadical"},"last_updated":"2024-07-01T09:41:19Z","outputs":[{"name":"out","path":"/nix/store/5d3jx73nnazq5ypkl5n2dph9a214y586-cadical-1.9.5","default":true},{"name":"dev","path":"/nix/store/0i34hisn8lmfsiacvbrn70y5hs1k609x-cadical-1.9.5-dev"},{"name":"lib","path":"/nix/store/pg35gzjfh2zw102bn4m5gnb622axhjjs-cadical-1.9.5-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a9c0004bc987afb1ff511ebb97b67497a68e22"},"attr_path":"cadical"},"last_updated":"2024-06-30T15:21:40Z","outputs":[{"name":"out","path":"/nix/store/zhvkwigc0h4abwgmknkna93kanp1c9jg-cadical-1.9.5","default":true},{"name":"dev","path":"/nix/store/jnz49v7xc5fk9d2h2hmsk2f23cbg56sy-cadical-1.9.5-dev"},{"name":"lib","path":"/nix/store/m0n66aq12xgrzqdl21hl5219547k97sd-cadical-1.9.5-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0f56e3221392452f2c38e3ddf2eba03abda6bf47"},"attr_path":"cadical"},"last_updated":"2024-07-02T06:03:53Z","outputs":[{"name":"out","path":"/nix/store/by5is5bppcvp11ndyv4aqa52rhrnkjlx-cadical-1.9.5","default":true},{"name":"dev","path":"/nix/store/cf2v25nha7x1lphyswsbaq480gddizrf-cadical-1.9.5-dev"},{"name":"lib","path":"/nix/store/cj1m4a9l2h13kjyjxdrpbx13bczljc1n-cadical-1.9.5-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0aeab749216e4c073cece5d34bc01b79e717c3e0"},"attr_path":"cadical"},"last_updated":"2024-07-02T14:50:32Z","outputs":[{"name":"out","path":"/nix/store/6nraalh51kc9xw9b82qzri7bq2p1g6r0-cadical-1.9.5","default":true},{"name":"lib","path":"/nix/store/4pvyavvhvp0bwg3fcw8ps60g5y2axpsd-cadical-1.9.5-lib"},{"name":"dev","path":"/nix/store/av5a048jgls7nhy6hfbvwykhcs0pmh68-cadical-1.9.5-dev"}]}}}