FSF SPARK is very difficult to build from source or obtain otherwise. I think it'd be very useful to be able to get it with the new alr toolchain command, just as it is also possible to get a recent gprbuild executable.
Side note: SPARK is actually a bunch of executables: gnatprove, gnat2why, why3, cvc4, z3, alt-ergo and others.
alire-project / alire
Command-line tool from the Alire project and supporting library
285
Contributors get 50% of received funds after fees
How does funding with Polar work?
1
Pay now to fund the work behind this issue.
2
Get updates on progress being made.
3
Maintainer is rewarded once the issue is completed.
FAQ
Backer
You're funding impactful open source efforts
Contributor
You want to contribute to this effort
Maintainer
You want to get funding like this too