{"name":"kissat","version":"2.0.1","summary":"A 'keep it simple and clean bare metal SAT solver' written in C","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c3e4dc4f6d23c7e41dda5ce98956c75c7779e2fa"},"attr_path":"kissat"},"last_updated":"2022-08-29T18:59:28Z","outputs":[{"name":"out","path":"/nix/store/q5fba1s49nrwk6a86v54yvl74klzsaw4-kissat-2.0.1","default":true},{"name":"dev","path":"/nix/store/8mfsydiv2xnm4n7x8p2cc862shvh6jc6-kissat-2.0.1-dev"},{"name":"lib","path":"/nix/store/ndr7jkvc2aimka64czs5ljd5jl9hc1aa-kissat-2.0.1-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"21de2b973f9fee595a7a1ac4693efff791245c34"},"attr_path":"kissat"},"last_updated":"2022-09-02T05:30:12Z","outputs":[{"name":"out","path":"/nix/store/ic5cp93kk8y6f02zvxmmp264yvs7nv94-kissat-2.0.1","default":true},{"name":"lib","path":"/nix/store/8bnzd1vxfgfpirhp7lnhd4s3hbf0xcdk-kissat-2.0.1-lib"},{"name":"dev","path":"/nix/store/mdqiqkwmmf6gq7z2rfkhilchb4yxvch0-kissat-2.0.1-dev"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"adf66cc31390f920854340679d7505ac577a5a8b"},"attr_path":"kissat"},"last_updated":"2022-08-28T16:41:57Z","outputs":[{"name":"out","path":"/nix/store/s4jw3pvkf8ry0l58imr81yx7kkjjv2jd-kissat-2.0.1","default":true},{"name":"dev","path":"/nix/store/mplcsk3p5zgaw0xcpwb9ps2bbxy9cb8q-kissat-2.0.1-dev"},{"name":"lib","path":"/nix/store/zxwmgx2alqhszp3lh9kz2dmps9mmj2q9-kissat-2.0.1-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"88664ff8498c01e5054474a5a575956befca94c1"},"attr_path":"kissat"},"last_updated":"2022-08-28T09:45:08Z","outputs":[{"name":"out","path":"/nix/store/jd63ll697mllppqhyh2vy0grxm3k44ns-kissat-2.0.1","default":true},{"name":"dev","path":"/nix/store/yqrgv0yw97brpzjpx49bpjb7n2kgrpgw-kissat-2.0.1-dev"},{"name":"lib","path":"/nix/store/spgh6b7mif7lxyw2w1x6zqf1apczki4a-kissat-2.0.1-lib"}]}}}