{"name":"pplite","summary":"Convex polyhedra library for Abstract Interpretation","description":"","homepage_url":"https://github.com/ezaffanella/PPLite","license":"GPL-3.0-only","attribute_paths":["pplite"],"releases":[{"version":"0.12","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"pplite","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/7wr07nhpydwb4agfs87phh71lbha1v1k-pplite-0.12","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"pplite","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/pvdq4hg0xc6cz1yrh6aqzp7d2ym26zml-pplite-0.12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"pplite","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/6s6mi9xyhlyv2xlgwmh7jgph6j455wc8-pplite-0.12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"pplite","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/njyhwxv4fvv5zh0lm4q7qwz7gn2qvi1p-pplite-0.12","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.11","last_updated":"2024-06-12T20:55:33Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"pplite","commit_hash":"a9858885e197f984d92d7fe64e9fff6b2e488d40","date":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/wzwiabg0gz4jczx9casjwqsj1m9sqdd6-pplite-0.11","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"pplite","commit_hash":"a9858885e197f984d92d7fe64e9fff6b2e488d40","date":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/1ngzzihwyvd9xr3nim316ksmndr6v06k-pplite-0.11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"pplite","commit_hash":"a9858885e197f984d92d7fe64e9fff6b2e488d40","date":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/895fwcjcxmdnxfmwr09qddnzn2svc6ds-pplite-0.11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"pplite","commit_hash":"a9858885e197f984d92d7fe64e9fff6b2e488d40","date":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/289ksb9nqib7pb6wqnz4qaspjw22sq09-pplite-0.11","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}