

What matters is the important stuff like deciding what package format to use, how to handle the biggest bugs, default filesystem, systemd or not, and who gets to decide all this stuff and so on. Some distros follow the company decision and some do not. Get it?
Ada SPARK is not dying at all, it’s growing. It is used where formal proof is required like and Rust is nowhere near that!