We should package a newer version of dev-lang/spark from https://github.com/AdaCore/spark2014. It looks like https://alire.ada.dev/crates/gnatprove versions it roughly like GCC versions(?) as they use '14.1.1', but gnatprove is not part of GCC.
We have to use the 'fsf' branch, I think.