I’m not sure about this specific contract, but historically speaking, Adacore has sold support contracts, and even if you stop paying, you’re still allowed to u

I’m not sure about this specific contract, but historically speaking, Adacore has sold support contracts, and even if you stop paying, you’re still allowed to use the compiler versions you’ve paid for. Furthermore, since these compilers are all based on upstream, and all Adacore work eventually ends up upstream, there’s essentially no risk you’re going to be left stranded.