{"name":"gnatprove","summary":"Software development technology specifically designed for engineering high-reliability applications","description":"","homepage_url":"https://github.com/AdaCore/spark2014","license":"GPL-3.0","attribute_paths":["gnatprove"],"releases":[{"version":"15_2025-06-10","last_updated":"2026-09-18T09:35:58Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"gnatprove","commit_hash":"0a3468a402c449992505b6a9fc5b06580141b750","date":"2026-09-18T09:35:58Z","outputs":[{"name":"out","path":"/nix/store/i0v10idz7zmi6ha73pnwhy41jlrsqv6h-gnatprove-fsf-15_2025-06-10","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"gnatprove","commit_hash":"0a3468a402c449992505b6a9fc5b06580141b750","date":"2026-09-18T09:35:58Z","outputs":[{"name":"out","path":"/nix/store/qiwi8pzlf8r5985m7mrfv1rbzl6l7hfj-gnatprove-fsf-15_2025-06-10","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}