{"name":"cadical","version":"1.5.0","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4c4cf9979e19fabf7ceccbf7c8eda553d836cdf6"},"attr_path":"cadical"},"last_updated":"2022-09-25T06:46:41Z","outputs":[{"name":"out","path":"/nix/store/sqv418hbc4bnksmzb784dszsa1ji4g9w-cadical-1.5.0","default":true},{"name":"dev","path":"/nix/store/h387j32fb0p3c5w323vvqmvakacvbz5k-cadical-1.5.0-dev"},{"name":"lib","path":"/nix/store/qyrj1ybi2j0j034bc27rmbkwg838i7dk-cadical-1.5.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f586d35a11ec07ced41d9d62c125c6ca0006141f"},"attr_path":"cadical"},"last_updated":"2022-09-22T04:08:28Z","outputs":[{"name":"out","path":"/nix/store/fg9i2c2xzbrh9qglqj64ma1n0p6xg70w-cadical-1.5.0","default":true},{"name":"dev","path":"/nix/store/z3y8wq6by2l469glrs5byak4v29xhz5f-cadical-1.5.0-dev"},{"name":"lib","path":"/nix/store/56r6iy5dsy1ng812raa8b3gmdx88a0g7-cadical-1.5.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f2ea9a9fcd41b65651fd89c1b9198798f4362f66"},"attr_path":"cadical"},"last_updated":"2022-09-24T22:20:32Z","outputs":[{"name":"out","path":"/nix/store/faa5jz06jaqc40fgbniwr51qhbir1yp1-cadical-1.5.0","default":true},{"name":"dev","path":"/nix/store/pqvbsb44z96d896l9wksw4q7s9jnm2lr-cadical-1.5.0-dev"},{"name":"lib","path":"/nix/store/ylvmwnh2krdp34vkh2yfbilyrryak8vc-cadical-1.5.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4c4cf9979e19fabf7ceccbf7c8eda553d836cdf6"},"attr_path":"cadical"},"last_updated":"2022-09-25T06:46:41Z","outputs":[{"name":"out","path":"/nix/store/1fz0hzkm5cszxn9r5cfiql3sq8i8vsqr-cadical-1.5.0","default":true},{"name":"lib","path":"/nix/store/17fvapzyclx7x3bnzw7a7k472yq6zwg8-cadical-1.5.0-lib"},{"name":"dev","path":"/nix/store/i3wfy0b3m5ny63vadjjrxdr2i3la0vc3-cadical-1.5.0-dev"}]}}}