I wanted to find how to install SPARK using Alire, so, after failing with alr get spark, I tried alr search spark. This produced two hits - neither of which are actually the SPARK toolchain - even though gnatprove has, in its description, "Automatic formal verification of SPARK code".

I suggest that it would be helpful if alr search included results from descriptions. (Given that the help says "Search a string in release names and properties", I'm surprised that it does not do so, currently.)