{"name":"cadical","version":"1.4.1","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a"},"attr_path":"cadical"},"last_updated":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/m8i64gl620jjsshr4lr85lzial6w7pnc-cadical-1.4.1","default":true},{"name":"dev","path":"/nix/store/6q8kgg9ldv5s9vsgxnb2snmm0k224f49-cadical-1.4.1-dev"},{"name":"lib","path":"/nix/store/iy9ibp7nigp1ghk2c0y0kli2zi3zp7kn-cadical-1.4.1-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"21de2b973f9fee595a7a1ac4693efff791245c34"},"attr_path":"cadical"},"last_updated":"2022-09-02T05:30:12Z","outputs":[{"name":"out","path":"/nix/store/q5ry68nhzrwp3855msxabz29x16slh9k-cadical-1.4.1","default":true},{"name":"lib","path":"/nix/store/d3hs2336ml6sa4gig8fx7j2lhdnf6qyp-cadical-1.4.1-lib"},{"name":"dev","path":"/nix/store/84f8lvihxb6yajq42fbw0wxn9zya9jb2-cadical-1.4.1-dev"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"adf66cc31390f920854340679d7505ac577a5a8b"},"attr_path":"cadical"},"last_updated":"2022-08-28T16:41:57Z","outputs":[{"name":"out","path":"/nix/store/xwc7qlsxs1bwqcnjf8b34hghsc66s7z9-cadical-1.4.1","default":true},{"name":"dev","path":"/nix/store/8dmmyqr5a2i0srphrm16f5m4m2598n7n-cadical-1.4.1-dev"},{"name":"lib","path":"/nix/store/xsa343lqrb024yrnfmr5qgla1388wksa-cadical-1.4.1-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c3e4dc4f6d23c7e41dda5ce98956c75c7779e2fa"},"attr_path":"cadical"},"last_updated":"2022-08-29T18:59:28Z","outputs":[{"name":"out","path":"/nix/store/cn2z3fhlsp365smxdrcnm979hsffryw6-cadical-1.4.1","default":true},{"name":"lib","path":"/nix/store/64mgazjll2hpn5ipky4ycqm0gmh4kdjl-cadical-1.4.1-lib"},{"name":"dev","path":"/nix/store/43b1glrawdfcxycm86rp7fpyi8f0malb-cadical-1.4.1-dev"}]}}}