Alire really is a game changer. In maybe 5 minutes you can have a toolchain setup for building Ada code. On top of this, since Ada/SPARK can be mingled and Alire is a package manager, you can pull in plain Ada code and also formally proved (SPARK) crates.