{"name":"cadical","summary":"Simplified Satisfiability Solver","description":"","homepage_url":"https://fmv.jku.at/cadical/","license":"MIT","attribute_paths":["cadical"],"releases":[{"version":"3.0.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ir7hkdcghxph04d07pgqhg2908nlsgxg-cadical-3.0.1","default":true},{"name":"dev","path":"/nix/store/73wp8sqkz7fx401rkhwcajlbn8z26vi8-cadical-3.0.1-dev"},{"name":"lib","path":"/nix/store/fm86cly369df38q5c4bizwq4bx3k3mvh-cadical-3.0.1-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/x2w4vw99gn028dqks7j38fmwpz02fghv-cadical-3.0.1","default":true},{"name":"dev","path":"/nix/store/gi6llzpib5a67751lzks6w2rx7g4gsn5-cadical-3.0.1-dev"},{"name":"lib","path":"/nix/store/8y3idrzrq7lzcpvj5qjsihzzj92qw88q-cadical-3.0.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ic49l9ss5nwr4nkvbij92z8s7w693p5j-cadical-3.0.1","default":true},{"name":"dev","path":"/nix/store/v5mwrmcmgw01ixdprbrq7km0kcmh15bk-cadical-3.0.1-dev"},{"name":"lib","path":"/nix/store/mg7jdss10vca4nn0ahn5z5rpyh9sgdrc-cadical-3.0.1-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"3.0.0","last_updated":"2026-08-07T10:21:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"243895692ae2a2fbd08a05141462c0cc0d3ca10f","date":"2026-08-03T00:04:07Z","outputs":[{"name":"out","path":"/nix/store/ip4067mk30ikm18s082s0c3rhyyr37gj-cadical-3.0.0","default":true},{"name":"dev","path":"/nix/store/p0954pmxhjwz93k180cji8sjazbqjnsp-cadical-3.0.0-dev"},{"name":"lib","path":"/nix/store/pyggmnckfa3p76zp31dg61dkv3var4kl-cadical-3.0.0-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"70ce234312134a463ba7728e94da2486a1d237ac","date":"2026-08-06T00:10:29Z","outputs":[{"name":"out","path":"/nix/store/bmf9dyykqf54nn5wjkm6dk19xdsp0zib-cadical-3.0.0","default":true},{"name":"dev","path":"/nix/store/j2n1aishjcsbg4ariv14z64sfchqdkf0-cadical-3.0.0-dev"},{"name":"lib","path":"/nix/store/gl4qymgcd0swi8anxkm0kh6fn9xyzzyj-cadical-3.0.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"f205b5574fd0cb7da5b702a2da51507b7f4fdd1b","date":"2026-07-05T19:27:47Z","outputs":[{"name":"out","path":"/nix/store/4zr9qmd3k3s769xplkynazwd1jxzfgaz-cadical-3.0.0","default":true},{"name":"dev","path":"/nix/store/v7njryhwvxp3x4c8xdnhmi4jjxfy86b0-cadical-3.0.0-dev"},{"name":"lib","path":"/nix/store/b3xz2j4528cfxn3aa5lxc4m5wrcgkxww-cadical-3.0.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"afb4584a80bbf779ce0f691509ff902d188c2b3d","date":"2026-08-07T10:21:50Z","outputs":[{"name":"out","path":"/nix/store/4diiadpar5b9dr59dlhafbg2d1qbblp0-cadical-3.0.0","default":true},{"name":"dev","path":"/nix/store/bm1844m4pwrfb9n1vs8zyixyg1458nah-cadical-3.0.0-dev"},{"name":"lib","path":"/nix/store/3v8zdi5mdblr58s4zzsjizha69ws07v9-cadical-3.0.0-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"2.2.0","last_updated":"2026-01-24T23:43:55Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/iry7j66c1fl05ina6wzx42mmlafdipvy-cadical-2.2.0","default":true},{"name":"dev","path":"/nix/store/lhgjfwnxj6jnkd7f231q3n9h6xag30kc-cadical-2.2.0-dev"},{"name":"lib","path":"/nix/store/p5b9x3p3kg5zhi8pbapgzgvj1932n25g-cadical-2.2.0-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/g2dvssm8c2i6ciywkyivrqqy8h4xgd05-cadical-2.2.0","default":true},{"name":"dev","path":"/nix/store/zwl4f7c8p58sjfyaviyc17xvy114vdmc-cadical-2.2.0-dev"},{"name":"lib","path":"/nix/store/6sic242p3bxg7phx0851bbb9z3rb1n56-cadical-2.2.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/7klpwiaia3sa8b6f1jd9mb1bbq2na68c-cadical-2.2.0","default":true},{"name":"dev","path":"/nix/store/ch8gi4p4zj1cidfqs0aj6cn3ccd8m7hz-cadical-2.2.0-dev"},{"name":"lib","path":"/nix/store/4s02rgrcyvhgpiywd8g0987ana7j8n1m-cadical-2.2.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"26b0093bc977081dc7653175a3fadab11e07bed7","date":"2026-01-24T23:43:55Z","outputs":[{"name":"out","path":"/nix/store/pknl3rfafd2zhhq9cbgfb06v3ahqj2q4-cadical-2.2.0","default":true},{"name":"dev","path":"/nix/store/mzd1gprh6iisplbzpczz1kkjmaivdnny-cadical-2.2.0-dev"},{"name":"lib","path":"/nix/store/yim20nr2vd70z6cisv4gam1dcq26gr88-cadical-2.2.0-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"2.1.3","last_updated":"2025-11-22T10:07:53Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"878e468e02bfabeda08c79250f7ad583037f2227","date":"2025-11-22T10:07:53Z","outputs":[{"name":"out","path":"/nix/store/zvll91i9cmrnq453c48jn6z3yyz27al6-cadical-2.1.3","default":true},{"name":"lib","path":"/nix/store/5w4iwniqvgc5n4rj2zdwmfvy0hwrk5zh-cadical-2.1.3-lib"},{"name":"dev","path":"/nix/store/jl5llfjc397aqpllbwwpxqiajyqndid6-cadical-2.1.3-dev"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"a8d610af3f1a5fb71e23e08434d8d61a466fc942","date":"2025-11-20T06:07:48Z","outputs":[{"name":"out","path":"/nix/store/0wfic1739mfdmxzdb1d634rmwy8hpy7c-cadical-2.1.3","default":true},{"name":"lib","path":"/nix/store/r09zgs8w03w4808808psml93zah3iwkk-cadical-2.1.3-lib"},{"name":"dev","path":"/nix/store/fkgpnc5gcpfmq7czizkswbs2p7l7a1cw-cadical-2.1.3-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"1d4c88323ac36805d09657d13a5273aea1b34f0c","date":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/ncwgld6081hmqfim13d8kqcx9g4m8kd2-cadical-2.1.3","default":true},{"name":"dev","path":"/nix/store/81njkc0h9lpc5w9d2g74wsdy9528cgx3-cadical-2.1.3-dev"},{"name":"lib","path":"/nix/store/shsc5s4yzzzhc009mhh0ghk1zq9qls38-cadical-2.1.3-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"6f374686605df381de8541c072038472a5ea2e2d","date":"2025-11-18T11:19:29Z","outputs":[{"name":"out","path":"/nix/store/qp2a7c5vlcv57d99y0y890zbsmxxs4xz-cadical-2.1.3","default":true},{"name":"dev","path":"/nix/store/hz4vdr5qcb4ayaj17bwz7nv7jg9d5cg3-cadical-2.1.3-dev"},{"name":"lib","path":"/nix/store/v5d9qk98i40h2p2kfv2bbmp5qgrx3wxs-cadical-2.1.3-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"2.1.2","last_updated":"2025-02-14T06:00:41Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"ba0939c506a03c60a765cd7f7c43794816540eec","date":"2025-02-13T21:40:15Z","outputs":[{"name":"out","path":"/nix/store/pswwrg02c5zs3yi34m6a7g3w0hwb6m70-cadical-2.1.2","default":true},{"name":"dev","path":"/nix/store/a9xgjzv2adn911m4jqf0zhjp3yk3caxy-cadical-2.1.2-dev"},{"name":"lib","path":"/nix/store/0gls03m329952jlrzrkgjq860xwd5fji-cadical-2.1.2-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"1128e89fd5e11bb25aedbfc287733c6502202ea9","date":"2025-02-13T13:03:05Z","outputs":[{"name":"out","path":"/nix/store/7fraj0vw9dfj0s0dcc4hy2glw8k8q2bi-cadical-2.1.2","default":true},{"name":"dev","path":"/nix/store/1g3sqqlg419ql1fgdzzgapz2px9j6fja-cadical-2.1.2-dev"},{"name":"lib","path":"/nix/store/pysini4ccircfsw72nkqcv6any93s4zg-cadical-2.1.2-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"e8d0b02af0958823c955aaab3c82b03f54411d91","date":"2025-02-07T20:06:47Z","outputs":[{"name":"out","path":"/nix/store/n3h2c2qigwhpr8bq00b92b7bl1maffm2-cadical-2.1.2","default":true},{"name":"dev","path":"/nix/store/w9hnlg8psadklyjkfq64yl8m9adij4bz-cadical-2.1.2-dev"},{"name":"lib","path":"/nix/store/v15322hbg03d21m6xky2abf416qjs69r-cadical-2.1.2-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"fada727ee7c0bd487e311dede0a2b0725a0f7765","date":"2025-02-14T06:00:41Z","outputs":[{"name":"out","path":"/nix/store/82dxyfj3csg4svc9ab6rmwishmlpzng2-cadical-2.1.2","default":true},{"name":"dev","path":"/nix/store/l8bjgr3rgzwf9hs41zvgj0hrbvryc927-cadical-2.1.2-dev"},{"name":"lib","path":"/nix/store/pmcb5z7kkajmmki6ggq2aa0a60kmcsr7-cadical-2.1.2-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"2.1.1","last_updated":"2025-01-08T07:19:28Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"8c9fd3e564728e90829ee7dbac6edc972971cd0f","date":"2025-01-07T09:15:50Z","outputs":[{"name":"out","path":"/nix/store/8cbkjfwh6g94qhr8ydxfaq00wcypkcp0-cadical-2.1.1","default":true},{"name":"dev","path":"/nix/store/3x5k6myl6akvsmsddclkvsnz9h67mf4r-cadical-2.1.1-dev"},{"name":"lib","path":"/nix/store/7ga2r40dkaryhkf3qrx2kb4mdiadjh59-cadical-2.1.1-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"a27871180d30ebee8aa6b11bf7fef8a52f024733","date":"2025-01-03T14:51:55Z","outputs":[{"name":"out","path":"/nix/store/hd3fdwbpml6svn1jaispgn7pid331azc-cadical-2.1.1","default":true},{"name":"dev","path":"/nix/store/1kaii4kswj03s4czl9fr3r497sjm17fy-cadical-2.1.1-dev"},{"name":"lib","path":"/nix/store/zx925ai273bkynxiihxb5hzvdnv07fn3-cadical-2.1.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"4bc9c909d9ac828a039f288cf872d16d38185db8","date":"2025-01-08T07:19:28Z","outputs":[{"name":"out","path":"/nix/store/dwi4ayk87d6hwqih93prz8cbsjsiwg2d-cadical-2.1.1","default":true},{"name":"lib","path":"/nix/store/ngbvdqqrvdhpz7zi1rknzlm2fn5whyg1-cadical-2.1.1-lib"},{"name":"dev","path":"/nix/store/xy2kj45lc8sb2q7s7gzz35gczjjs4dn0-cadical-2.1.1-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"4bc9c909d9ac828a039f288cf872d16d38185db8","date":"2025-01-08T07:19:28Z","outputs":[{"name":"out","path":"/nix/store/ir64k0yanky3vmbqngrxwyxl90jmg9k8-cadical-2.1.1","default":true},{"name":"lib","path":"/nix/store/lzz0p6vzn2ad5sxmd8yv4kh71rf6spwy-cadical-2.1.1-lib"},{"name":"dev","path":"/nix/store/lrahjb49d50bx9jw4x74h7wpjlcxw117-cadical-2.1.1-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"2.1.0","last_updated":"2024-12-17T11:43:56Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"4989a246d7a390a859852baddb1013f825435cee","date":"2024-12-17T11:43:56Z","outputs":[{"name":"out","path":"/nix/store/78w1xm1f18c2lzs2lb3bhy3p3wjhz7jz-cadical-2.1.0","default":true},{"name":"dev","path":"/nix/store/ld21fjd1i10xhsl60q10i8z844dfr386-cadical-2.1.0-dev"},{"name":"lib","path":"/nix/store/kbskscf75w7i3mxll1296sh4zqfwfbym-cadical-2.1.0-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"4989a246d7a390a859852baddb1013f825435cee","date":"2024-12-17T11:43:56Z","outputs":[{"name":"out","path":"/nix/store/p2gjrrsyc21byfvac7vl6hyii0x2pqn1-cadical-2.1.0","default":true},{"name":"lib","path":"/nix/store/4jbw4a1hnm2yrvkw901b52pjbkrcfp6r-cadical-2.1.0-lib"},{"name":"dev","path":"/nix/store/xkihhv614hf43lah4h6gql4l6bbl6jxm-cadical-2.1.0-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"93dc9803a1ee435e590b02cde9589038d5cc3a4e","date":"2024-12-08T11:15:23Z","outputs":[{"name":"out","path":"/nix/store/7yyamn3k4ca0ax8n34v20vria053gw51-cadical-2.1.0","default":true},{"name":"dev","path":"/nix/store/y02vc71q3dyh73n44ynhwr2r5gq7dypr-cadical-2.1.0-dev"},{"name":"lib","path":"/nix/store/76crlnwzfad577nbjngdjzplp08gx2jh-cadical-2.1.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/gs2gryjfwyrksrpc2cfnxrvi77da4k60-cadical-2.1.0","default":true},{"name":"dev","path":"/nix/store/3csv2qxmpxks1b0ab3rs9r8riqykq3hs-cadical-2.1.0-dev"},{"name":"lib","path":"/nix/store/ryqkcraz27wmdnfl39asl9fjypb9m9z9-cadical-2.1.0-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"2.0.0","last_updated":"2024-10-17T04:50:07Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/1am7x0jrl7fm2lwpzc5m84lrb95gaxbd-cadical-2.0.0","default":true},{"name":"dev","path":"/nix/store/irx85kvx6miv6nwspgj0yxjb5mywbmv1-cadical-2.0.0-dev"},{"name":"lib","path":"/nix/store/wiidnv2wyr13qaqyzd5nf47fcmka36r1-cadical-2.0.0-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"1bde3e8e37a72989d4d455adde764d45f45dc11c","date":"2024-10-17T04:50:07Z","outputs":[{"name":"out","path":"/nix/store/vlskxbdixcj09r8lfskk1zq98b2gz7dk-cadical-2.0.0","default":true},{"name":"dev","path":"/nix/store/l34zz8sin3sfn931icm01h6mzdf8nzkl-cadical-2.0.0-dev"},{"name":"lib","path":"/nix/store/d267v68jj287pwp9pnc9nhp80yn2q9yg-cadical-2.0.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"1bde3e8e37a72989d4d455adde764d45f45dc11c","date":"2024-10-17T04:50:07Z","outputs":[{"name":"out","path":"/nix/store/2lg96pbr5xg01ialvxx3yllrkc3al6vv-cadical-2.0.0","default":true},{"name":"dev","path":"/nix/store/cd6iqwmyjr7gg7j2g76nz4kx0i11k7bw-cadical-2.0.0-dev"},{"name":"lib","path":"/nix/store/vbwy7y9z46njcycii645dykd1zzyggn9-cadical-2.0.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"7881fbfd2e3ed1dfa315fca889b2cfd94be39337","date":"2024-10-15T08:13:08Z","outputs":[{"name":"out","path":"/nix/store/vbjplba7vbzbmjjj20cq79mpvxb0y8yk-cadical-2.0.0","default":true},{"name":"dev","path":"/nix/store/lb5lqv2bd553gg48lc375j5r6csr1ral-cadical-2.0.0-dev"},{"name":"lib","path":"/nix/store/dj9d95y5dli53k85hjlwim9d530qqcr9-cadical-2.0.0-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"1.9.5","last_updated":"2024-07-02T14:50:32Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"b9014df496d5b68bf7c0145d0e9b0f529ce4f2a8","date":"2024-07-01T09:41:19Z","outputs":[{"name":"out","path":"/nix/store/5d3jx73nnazq5ypkl5n2dph9a214y586-cadical-1.9.5","default":true},{"name":"dev","path":"/nix/store/0i34hisn8lmfsiacvbrn70y5hs1k609x-cadical-1.9.5-dev"},{"name":"lib","path":"/nix/store/pg35gzjfh2zw102bn4m5gnb622axhjjs-cadical-1.9.5-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"12a9c0004bc987afb1ff511ebb97b67497a68e22","date":"2024-06-30T15:21:40Z","outputs":[{"name":"out","path":"/nix/store/zhvkwigc0h4abwgmknkna93kanp1c9jg-cadical-1.9.5","default":true},{"name":"dev","path":"/nix/store/jnz49v7xc5fk9d2h2hmsk2f23cbg56sy-cadical-1.9.5-dev"},{"name":"lib","path":"/nix/store/m0n66aq12xgrzqdl21hl5219547k97sd-cadical-1.9.5-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"0f56e3221392452f2c38e3ddf2eba03abda6bf47","date":"2024-07-02T06:03:53Z","outputs":[{"name":"out","path":"/nix/store/by5is5bppcvp11ndyv4aqa52rhrnkjlx-cadical-1.9.5","default":true},{"name":"dev","path":"/nix/store/cf2v25nha7x1lphyswsbaq480gddizrf-cadical-1.9.5-dev"},{"name":"lib","path":"/nix/store/cj1m4a9l2h13kjyjxdrpbx13bczljc1n-cadical-1.9.5-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"0aeab749216e4c073cece5d34bc01b79e717c3e0","date":"2024-07-02T14:50:32Z","outputs":[{"name":"out","path":"/nix/store/6nraalh51kc9xw9b82qzri7bq2p1g6r0-cadical-1.9.5","default":true},{"name":"lib","path":"/nix/store/4pvyavvhvp0bwg3fcw8ps60g5y2axpsd-cadical-1.9.5-lib"},{"name":"dev","path":"/nix/store/av5a048jgls7nhy6hfbvwykhcs0pmh68-cadical-1.9.5-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"1.9.4","last_updated":"2024-03-06T17:57:40Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"58ae79ea707579c40102ddf62d84b902a987c58b","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"ec869190b56a1b4677d24a8bdbcfe80ccea2ece6","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"458b097d81f90275b3fdf03796f0563844926708","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"fa9a51752f1b5de583ad5213eb621be071806663","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"1.9.3","last_updated":"2024-01-09T14:40:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"4b0751bbc680ed971f80be370a2874a72f3d42fc","date":"2024-01-09T14:40:23Z","outputs":[{"name":"out","path":"/nix/store/wqsrsqzqbqny876pa13p7bk0rq6j23by-cadical-1.9.3","default":true},{"name":"lib","path":"/nix/store/khiyqqg8jpgdhkyabpl092l1kzxyix2q-cadical-1.9.3-lib"},{"name":"dev","path":"/nix/store/7ig4aj5yi07lj9b06pd337xwqj0angav-cadical-1.9.3-dev"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"24fe8bb4f552ad3926274d29e083b79d84707da6","date":"2024-01-07T11:22:52Z","outputs":[{"name":"out","path":"/nix/store/yrwcmg7dz73rs6yhhqg88qi29h5g4jga-cadical-1.9.3","default":true},{"name":"dev","path":"/nix/store/a6cbdsj67zk0vf99mm6m775h4g97kxnh-cadical-1.9.3-dev"},{"name":"lib","path":"/nix/store/z4njsnh7pcvj9jfvqkr95fi2px77kn91-cadical-1.9.3-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"d44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7","date":"2023-12-31T07:44:09Z","outputs":[{"name":"out","path":"/nix/store/apl8n0cwnkzmdmf9awgxi3za4qmbx692-cadical-1.9.3","default":true},{"name":"dev","path":"/nix/store/2pmfp90fwdwx0hchr1grp12sk8c2073l-cadical-1.9.3-dev"},{"name":"lib","path":"/nix/store/p3w38aiik39srm3w414aryz8s11z8r8p-cadical-1.9.3-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"d44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7","date":"2023-12-31T07:44:09Z","outputs":[{"name":"out","path":"/nix/store/k9dlnk2457yg0m5702cwapfzn57xml57-cadical-1.9.3","default":true},{"name":"dev","path":"/nix/store/lg2wwh28ps64c89185a1d0kdl30m7mmj-cadical-1.9.3-dev"},{"name":"lib","path":"/nix/store/mybl129djf2zycfxk46zkpk6kp6lprl0-cadical-1.9.3-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"1.9.1","last_updated":"2023-12-20T09:10:46Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"7c33cd6bf01cf09f77bfdf6741cddfffa2cd5640","date":"2023-12-20T09:10:46Z","outputs":[{"name":"out","path":"/nix/store/ygmi7yl56rjdd9xpjx1jvmifnina3ncw-cadical-1.9.1","default":true},{"name":"dev","path":"/nix/store/plpf9k0lgrng46xfy7y2id00yf4dlb6k-cadical-1.9.1-dev"},{"name":"lib","path":"/nix/store/0j0ajg63r2s1gqd83vfv91v4ly7514gi-cadical-1.9.1-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"ca16221251951e9c6261a1a2bb4f9389038d3632","date":"2023-12-18T02:58:18Z","outputs":[{"name":"out","path":"/nix/store/lb420i29l2w5zgxxlsdvdh82f3s5bwmv-cadical-1.9.1","default":true},{"name":"dev","path":"/nix/store/4ngi7s9y13rjbml41bj8qln4g9rgaa2y-cadical-1.9.1-dev"},{"name":"lib","path":"/nix/store/0g0gvz48fk0sy0rhqywswyshszax1ffs-cadical-1.9.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"7c33cd6bf01cf09f77bfdf6741cddfffa2cd5640","date":"2023-12-20T09:10:46Z","outputs":[{"name":"out","path":"/nix/store/nrsc1h5a58dg7yqymyg1f50mi3skjjnp-cadical-1.9.1","default":true},{"name":"dev","path":"/nix/store/2d0a1apzlxg11bnapd169ivmmgql8qdf-cadical-1.9.1-dev"},{"name":"lib","path":"/nix/store/aznl9y63pmfdbyzvqm2g2jlz7mcg8yjs-cadical-1.9.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"dd8e82f3b4017b8faa52c2b1897a38d53c3c26cb","date":"2023-12-18T22:32:18Z","outputs":[{"name":"out","path":"/nix/store/0ab4h31zmskf6cgml8br5w58h2ws4s4s-cadical-1.9.1","default":true},{"name":"dev","path":"/nix/store/fg3d632sc15prcvqc1qpfaq0q2calnr8-cadical-1.9.1-dev"},{"name":"lib","path":"/nix/store/rx441y8vkpqp1lgmd49fxww44d1ayr7l-cadical-1.9.1-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"1.9.0","last_updated":"2023-12-14T07:33:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/j50ys6qg8nmn83821myqb74h0jnfccsb-cadical-1.9.0","default":true},{"name":"dev","path":"/nix/store/z3kc7rm99d0zzlb4182v7gjp6ljp96g9-cadical-1.9.0-dev"},{"name":"lib","path":"/nix/store/s5z5x5a2vfbn60lz730rzps74w35wcb6-cadical-1.9.0-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/sgijc2zyn29v52rg1q1a9s18zxlh9l37-cadical-1.9.0","default":true},{"name":"dev","path":"/nix/store/5qq314w0ixl419xcqmhzgqvlfgmf3vxw-cadical-1.9.0-dev"},{"name":"lib","path":"/nix/store/pyhgxd4c8cjgiqi4lmd3y4f16c8f8qis-cadical-1.9.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"aa9d4729cbc99dabacb50e3994dcefb3ea0f7447","date":"2023-12-14T07:33:05Z","outputs":[{"name":"out","path":"/nix/store/maj8bgf686xwcbm78hb7ky7y5dlp617r-cadical-1.9.0","default":true},{"name":"lib","path":"/nix/store/zrzid9af6gacg2xdyz3j582kcbwdxmsw-cadical-1.9.0-lib"},{"name":"dev","path":"/nix/store/yyp9a81mcqqh5mqcp7fgc60ffg8pdqv3-cadical-1.9.0-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/xzi72q5v33hwzrw8p1b3w4ffvcymz6r3-cadical-1.9.0","default":true},{"name":"lib","path":"/nix/store/39rr1iqn2ac8jxd81l6v224jjgn6ayn2-cadical-1.9.0-lib"},{"name":"dev","path":"/nix/store/1289csr8chcpbww2j9szb52wbxzakhvi-cadical-1.9.0-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"1.8.0","last_updated":"2023-11-20T11:26:57Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"a71323f68d4377d12c04a5410e214495ec598d4c","date":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/h4rb4sqm6dra4ki38bxcnhdhxmlcx5xj-cadical-1.8.0","default":true},{"name":"dev","path":"/nix/store/gvkmna626k5i651ic3mwm9bknlhl9sl4-cadical-1.8.0-dev"},{"name":"lib","path":"/nix/store/04bilsjhmphcyfr288001f79a41cnilv-cadical-1.8.0-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"f1f62c94f61343b1dc8e9b91e52975890884f39f","date":"2023-11-20T11:26:57Z","outputs":[{"name":"out","path":"/nix/store/al7scgclqy49m1iqryx55sl3nkgbakmh-cadical-1.8.0","default":true},{"name":"dev","path":"/nix/store/fdrfq0w66c6qi06w2chnxz0jcasy8aq9-cadical-1.8.0-dev"},{"name":"lib","path":"/nix/store/5d3sx9sbxl87di9x9gnmxf0p98wqfh1l-cadical-1.8.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"605b6f5e24ea3cbcec3be57853d27b721a6f3ec1","date":"2023-11-17T22:53:09Z","outputs":[{"name":"out","path":"/nix/store/z5drzxqm4s76fa7lq84iqpsq743475hq-cadical-1.8.0","default":true},{"name":"dev","path":"/nix/store/xrpbzmjvn76sqi6mx6008y57j5rp2b0d-cadical-1.8.0-dev"},{"name":"lib","path":"/nix/store/23zvp155w1aqakc6kp636k34c91qyyya-cadical-1.8.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"f1f62c94f61343b1dc8e9b91e52975890884f39f","date":"2023-11-20T11:26:57Z","outputs":[{"name":"out","path":"/nix/store/nrpm3kqw2wwv6i7hzdn9vp3z0wwx2khz-cadical-1.8.0","default":true},{"name":"dev","path":"/nix/store/68rp2qvxqk2rag2b4shqy6sff21hv7vl-cadical-1.8.0-dev"},{"name":"lib","path":"/nix/store/g3hpvhydhmbs3yvdsjgnpawqy34mg5sr-cadical-1.8.0-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"1.5.3","last_updated":"2023-10-08T09:32:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"945559664c1dc5836173ee12896ba421d9b37181","date":"2023-10-07T15:48:00Z","outputs":[{"name":"out","path":"/nix/store/qq115nzpva7w6gg5r6l13z727qzq1407-cadical-1.5.3","default":true},{"name":"dev","path":"/nix/store/js1pjbkjzr6rigdzhx7d5ds570yf0nbs-cadical-1.5.3-dev"},{"name":"lib","path":"/nix/store/8inwlh0x0nxsa1yc431fv58k0c31d7pc-cadical-1.5.3-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"2de1be5b51c3d6fa833f1c1f222dc867dd054b31","date":"2023-10-07T06:43:49Z","outputs":[{"name":"out","path":"/nix/store/lyd6bhjlwc0b9a68svq1aigw7k0qryyh-cadical-1.5.3","default":true},{"name":"dev","path":"/nix/store/ans8yqxj72xa5w5nz895sdp31jsq8x4i-cadical-1.5.3-dev"},{"name":"lib","path":"/nix/store/5qirz6lmmlv4w9p7a5g9mf7vqv6ld1yi-cadical-1.5.3-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"2646b294a146df2781b1ca49092450e8a32814e1","date":"2023-10-08T09:32:01Z","outputs":[{"name":"out","path":"/nix/store/cnhv92nbxpb3n8lg44q0a2sb4m60jc0k-cadical-1.5.3","default":true},{"name":"lib","path":"/nix/store/s952nsgxw5rk86wd6ax56bqq79y5nfrd-cadical-1.5.3-lib"},{"name":"dev","path":"/nix/store/brqmkcbjg9pk9vpf15yhzi2jjfq9bz2p-cadical-1.5.3-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"5aabb5780a11c500981993d49ee93cfa6df9307b","date":"2023-10-08T00:43:42Z","outputs":[{"name":"out","path":"/nix/store/gjzpll69xgdvmlm4cdpbh946hwjypcf4-cadical-1.5.3","default":true},{"name":"dev","path":"/nix/store/5r7f2sqn9w4r1g4kpq010fqy4b8614xp-cadical-1.5.3-dev"},{"name":"lib","path":"/nix/store/njpnkn9r52xylgc9zdyccrz8hykyamc9-cadical-1.5.3-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"1.5.0","last_updated":"2022-09-25T06:46:41Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"4c4cf9979e19fabf7ceccbf7c8eda553d836cdf6","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"f586d35a11ec07ced41d9d62c125c6ca0006141f","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"f2ea9a9fcd41b65651fd89c1b9198798f4362f66","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"4c4cf9979e19fabf7ceccbf7c8eda553d836cdf6","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"1.4.1","last_updated":"2022-09-02T05:30:12Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/m8i64gl620jjsshr4lr85lzial6w7pnc-cadical-1.4.1","default":true},{"name":"dev","path":"/nix/store/6q8kgg9ldv5s9vsgxnb2snmm0k224f49-cadical-1.4.1-dev"},{"name":"lib","path":"/nix/store/iy9ibp7nigp1ghk2c0y0kli2zi3zp7kn-cadical-1.4.1-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cadical","commit_hash":"21de2b973f9fee595a7a1ac4693efff791245c34","date":"2022-09-02T05:30:12Z","outputs":[{"name":"out","path":"/nix/store/q5ry68nhzrwp3855msxabz29x16slh9k-cadical-1.4.1","default":true},{"name":"lib","path":"/nix/store/d3hs2336ml6sa4gig8fx7j2lhdnf6qyp-cadical-1.4.1-lib"},{"name":"dev","path":"/nix/store/84f8lvihxb6yajq42fbw0wxn9zya9jb2-cadical-1.4.1-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"adf66cc31390f920854340679d7505ac577a5a8b","date":"2022-08-28T16:41:57Z","outputs":[{"name":"out","path":"/nix/store/xwc7qlsxs1bwqcnjf8b34hghsc66s7z9-cadical-1.4.1","default":true},{"name":"dev","path":"/nix/store/8dmmyqr5a2i0srphrm16f5m4m2598n7n-cadical-1.4.1-dev"},{"name":"lib","path":"/nix/store/xsa343lqrb024yrnfmr5qgla1388wksa-cadical-1.4.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"c3e4dc4f6d23c7e41dda5ce98956c75c7779e2fa","date":"2022-08-29T18:59:28Z","outputs":[{"name":"out","path":"/nix/store/cn2z3fhlsp365smxdrcnm979hsffryw6-cadical-1.4.1","default":true},{"name":"lib","path":"/nix/store/64mgazjll2hpn5ipky4ycqm0gmh4kdjl-cadical-1.4.1-lib"},{"name":"dev","path":"/nix/store/43b1glrawdfcxycm86rp7fpyi8f0malb-cadical-1.4.1-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"1.3.0","last_updated":"2021-08-19T13:27:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cadical","commit_hash":"14b0f20fa1f56438b74100513c9b1f7c072cf789","date":"2021-08-19T13:27:31Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cadical","commit_hash":"14b0f20fa1f56438b74100513c9b1f7c072cf789","date":"2021-08-19T13:27:31Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"14b0f20fa1f56438b74100513c9b1f7c072cf789","date":"2021-08-19T13:27:31Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.2.1","last_updated":"2020-06-22T05:34:49Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cadical","commit_hash":"7b9448665e4be84c3f97becded3676e150f94694","date":"2020-06-22T05:34:49Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}