{"name":"gnatprove","version":"15_2025-06-10","summary":"Software development technology specifically designed for engineering high-reliability applications","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f45c6f04c2f013f004bf94e284e95d72898d9393"},"attr_path":"gnatprove"},"last_updated":"2026-09-28T13:04:38Z","outputs":[{"name":"out","path":"/nix/store/i0v10idz7zmi6ha73pnwhy41jlrsqv6h-gnatprove-fsf-15_2025-06-10","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f45c6f04c2f013f004bf94e284e95d72898d9393"},"attr_path":"gnatprove"},"last_updated":"2026-09-28T13:04:38Z","outputs":[{"name":"out","path":"/nix/store/qiwi8pzlf8r5985m7mrfv1rbzl6l7hfj-gnatprove-fsf-15_2025-06-10","default":true}]}}}