{"name":"cadical","version":"1.9.4","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"58ae79ea707579c40102ddf62d84b902a987c58b"},"attr_path":"cadical"},"last_updated":"2024-03-06T17:57:40Z","outputs":[{"name":"out","path":"/nix/store/5wp2wikc837z8rb71kzqpbndh9wm2dd5-cadical-1.9.4","default":true},{"name":"dev","path":"/nix/store/43lkxh5c36s7wbr0v9rkk2zp0nidd5fa-cadical-1.9.4-dev"},{"name":"lib","path":"/nix/store/7720x2w7sqvbblpkgj4rkivphavngxx5-cadical-1.9.4-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ec869190b56a1b4677d24a8bdbcfe80ccea2ece6"},"attr_path":"cadical"},"last_updated":"2024-03-01T11:54:15Z","outputs":[{"name":"out","path":"/nix/store/hb471k7gd00f4kkjdqf147k5pxrxqj94-cadical-1.9.4","default":true},{"name":"dev","path":"/nix/store/9p3phl92jam7rwlnd00hfr3m2qs4z7iy-cadical-1.9.4-dev"},{"name":"lib","path":"/nix/store/m2hllf593ihacfz9a3d46il0alzngs4n-cadical-1.9.4-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"458b097d81f90275b3fdf03796f0563844926708"},"attr_path":"cadical"},"last_updated":"2024-03-02T05:21:12Z","outputs":[{"name":"out","path":"/nix/store/4gr6mx3wb8mhmgagfdrbmiqmddrzgxgp-cadical-1.9.4","default":true},{"name":"dev","path":"/nix/store/rsinig4263k93y1wcpag0sj1jsrnbl22-cadical-1.9.4-dev"},{"name":"lib","path":"/nix/store/75rcshk8a15f6whzxjj7wcanal1rc4wy-cadical-1.9.4-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fa9a51752f1b5de583ad5213eb621be071806663"},"attr_path":"cadical"},"last_updated":"2024-03-02T13:37:51Z","outputs":[{"name":"out","path":"/nix/store/y8y7l1aa3qaj4vqkr9paciz2sm5yjvj9-cadical-1.9.4","default":true},{"name":"dev","path":"/nix/store/9k6s4hf8ck6m00g4aqhc6j9vmh9505j4-cadical-1.9.4-dev"},{"name":"lib","path":"/nix/store/0x3c5b4jrj8q5gxf6h1c9fjbbzbzx1c5-cadical-1.9.4-lib"}]}}}