{"name":"lingeling","summary":"Fast SAT solver","description":"","homepage_url":"http://fmv.jku.at/lingeling/","license":"MIT","attribute_paths":["lingeling"],"releases":[{"version":"1.0.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"lingeling","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"lingeling","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"lingeling","commit_hash":"19a8a1e6d8b7315b6fd84e5a51977ce6f69d5a5b","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"lingeling","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"","last_updated":"2026-03-05T09:48:44Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"lingeling","commit_hash":"66d9241e3dc2296726dc522e62dbfe89c7b449f3","date":"2026-03-05T01:30:23Z","outputs":[{"name":"out","path":"/nix/store/p4fn0hx14i44v9a2llvh0131l5kihga5-lingeling-pre1_708beb26","default":true},{"name":"dev","path":"/nix/store/1f09918yfsk5h3r40z4h1dn2b7s411v9-lingeling-pre1_708beb26-dev"},{"name":"lib","path":"/nix/store/nv8p316hfgfw3zb0fq50rl44l1pc85j4-lingeling-pre1_708beb26-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"lingeling","commit_hash":"66d9241e3dc2296726dc522e62dbfe89c7b449f3","date":"2026-03-05T01:30:23Z","outputs":[{"name":"out","path":"/nix/store/xpgd3w6p4kz27367585piv3kk21rz13b-lingeling-pre1_708beb26","default":true},{"name":"dev","path":"/nix/store/9594msiikvzy2ficdnw1hsazni1blz3q-lingeling-pre1_708beb26-dev"},{"name":"lib","path":"/nix/store/m5wf4dpp20k7dd6wzxdfs74k9vc8w33b-lingeling-pre1_708beb26-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"lingeling","commit_hash":"289c8a834fbf87af1f01cb78f479537ef5219a0b","date":"2026-03-05T09:48:44Z","outputs":[{"name":"out","path":"/nix/store/p9ng9csk1db93ajil7s7s2i6n4sy24x2-lingeling-pre1_708beb26","default":true},{"name":"dev","path":"/nix/store/si997hggcrxm117zlha5yk9afqcipb0f-lingeling-pre1_708beb26-dev"},{"name":"lib","path":"/nix/store/gny6715hv8nfaiwa2gaijzsfrwvy4rk2-lingeling-pre1_708beb26-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"lingeling","commit_hash":"4215e62dc2cd3bc705b0a423b9719ff6be378a43","date":"2026-03-02T19:25:24Z","outputs":[{"name":"out","path":"/nix/store/36f4jplg41ix2sd13k2qh42dk67gb1i8-lingeling-pre1_708beb26","default":true},{"name":"dev","path":"/nix/store/0kxrb6517akq7b0wpvl6a27mwis2k74l-lingeling-pre1_708beb26-dev"},{"name":"lib","path":"/nix/store/1lpmnmz13y6phb6as2jrsxmi4kw6y41j-lingeling-pre1_708beb26-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false}]}