sci-mathematics/why3-for-spark|https://github.com/AdaCore/why3/archive/fb4ca6cd8c7d888d3e8d281e6de87c66ec20f084.tar.gz|ada@gentoo.org