{"name":"key","summary":"Java formal verification tool","description":"The KeY System is a formal software development tool that aims to\nintegrate design, implementation, formal specification, and formal\nverification of object-oriented software as seamlessly as possible.\nAt the core of the system is a novel theorem prover for the first-order\nDynamic Logic for Java with a user-friendly graphical interface.","homepage_url":"https://www.key-project.org","license":"GPL-2.0-only","attribute_paths":["key"],"releases":[{"version":"3.0.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"key","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/rfmj22fjib86y0nlrpdi63lv29jl5ky5-key-3.0.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"key","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/afw6cdggx7hgs8s0p0a3g5d2wsym2pvg-key-3.0.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"key","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/dx0ycs06mxkfa794z1m1pvi5558nibnz-key-3.0.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.12.3","last_updated":"2026-09-18T09:35:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"key","commit_hash":"0a3468a402c449992505b6a9fc5b06580141b750","date":"2026-09-18T09:35:58Z","outputs":[{"name":"out","path":"/nix/store/fd6i47wsbjp8p7zd292xbpp4rpbaaf3z-key-2.12.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"key","commit_hash":"0a3468a402c449992505b6a9fc5b06580141b750","date":"2026-09-18T09:35:58Z","outputs":[{"name":"out","path":"/nix/store/z7rvyb5ynjdc75n56sfvs83i0v40w0r6-key-2.12.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"key","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/sy1b35jsx6kdi6hq4r2wjla21pnx13lw-key-2.12.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"key","commit_hash":"0a3468a402c449992505b6a9fc5b06580141b750","date":"2026-09-18T09:35:58Z","outputs":[{"name":"out","path":"/nix/store/nfnz3i2wkxmhijdg9dssyx797gj86zia-key-2.12.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.12.2","last_updated":"2025-03-23T05:31:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"key","commit_hash":"dd613136ee91f67e5dba3f3f41ac99ae89c5406b","date":"2025-03-23T05:31:05Z","outputs":[{"name":"out","path":"/nix/store/8azdn143xkis6fjhx6i34rfr71slbfz8-key-2.12.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"key","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/y0ai2sgjgzddvv3l6dvrbji867mwn63r-key-2.12.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"key","commit_hash":"dd613136ee91f67e5dba3f3f41ac99ae89c5406b","date":"2025-03-23T05:31:05Z","outputs":[{"name":"out","path":"/nix/store/amy8j564zg4kykfw6l3n2a4ggbnrcn6f-key-2.12.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"key","commit_hash":"dd613136ee91f67e5dba3f3f41ac99ae89c5406b","date":"2025-03-23T05:31:05Z","outputs":[{"name":"out","path":"/nix/store/y6b48gzwavy9yhq6a4mgzr3xlidlvpmw-key-2.12.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.10.0","last_updated":"2024-10-13T23:44:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"key","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/9j5i6hkkg01p80rp257al5a2qip2cmfm-key-2.10.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"key","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/7xqjrhrckimh58irvj8lw25yk3v9921f-key-2.10.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"key","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/n9c1ifs5wb9v26sh4i8nw5b02gd9x4q3-key-2.10.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"key","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/6zh29gb13rbzd2j7ma29771fq3srj0aq-key-2.10.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.3","last_updated":"2022-01-26T13:01:16Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"key","commit_hash":"e722007bf05802573b41701c49da6c8814878171","date":"2022-01-26T13:01:16Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"key","commit_hash":"e722007bf05802573b41701c49da6c8814878171","date":"2022-01-26T13:01:16Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"key","commit_hash":"e722007bf05802573b41701c49da6c8814878171","date":"2022-01-26T13:01:16Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}