Alire (https://alire.ada.dev/ https://alire.ada.dev/) can do the toolchain install now. It's pretty much like cargo, and can also be used to select from multip

Alire (https://alire.ada.dev/ https://alire.ada.dev/) can do the toolchain install now. It's pretty much like cargo, and can also be used to select from multiple toolchain versions.