To anyone who has a Linux distro and wants to try Ada (2012 on some):

Debian/Ubuntu: sudo apt install gnat gprbuild

Arch Linux: sudo pacman -S gcc-ada (get gprbuild from the AUR)

NixOS: https://github.com/fluffynukeit/adaspark/

I think it's also available on Fedora IIRC.

And then go to https://learn.adacore.com/ :)