{"name":"lingeling","version":"1.0.0","summary":"Fast SAT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"lingeling"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/a8mri74jvica7ivvx3r5q5n93iywwgff-lingeling-1.0.0","default":true},{"name":"dev","path":"/nix/store/gz8l1p9cgxxg687z26lj5rwm490wsn9r-lingeling-1.0.0-dev"},{"name":"lib","path":"/nix/store/gbpc6g545p9pgl2kqlpi90hghnjjvp5w-lingeling-1.0.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"lingeling"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/wkqf0dp1m25h5hwcxzjml9cwgrhyv0dd-lingeling-1.0.0","default":true},{"name":"dev","path":"/nix/store/lk21dw6c9vizm0cw3bm80yparlzdp3rm-lingeling-1.0.0-dev"},{"name":"lib","path":"/nix/store/6m1p8sqk5iajpxj9aivmz9rb0fx70djb-lingeling-1.0.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"19a8a1e6d8b7315b6fd84e5a51977ce6f69d5a5b"},"attr_path":"lingeling"},"last_updated":"2026-07-04T17:57:37Z","outputs":[{"name":"out","path":"/nix/store/czc1x4afpcz8k6yqrzgyzd0p7j0z6dbz-lingeling-1.0.0","default":true},{"name":"dev","path":"/nix/store/vii27m7jgbqbrqp5dldk5y7rhswpbhpp-lingeling-1.0.0-dev"},{"name":"lib","path":"/nix/store/8x59hl8pn0f3midh2ywqlr7a59bw90gs-lingeling-1.0.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"lingeling"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/a6jiwb1mgfj496c7d980jr85bkkl0vgv-lingeling-1.0.0","default":true},{"name":"dev","path":"/nix/store/31njnh64zz63r6f83z78y55gdh715hpb-lingeling-1.0.0-dev"},{"name":"lib","path":"/nix/store/wm3mn79y59ji4yijb927k22i0icqybvh-lingeling-1.0.0-lib"}]}}}