<<< SRT-BUG-ebuild_src_uri_check >>> 7|dev-lang/spark|spark-2018-r1|http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a47|ada@gentoo.org|659724 7|dev-lang/spark|spark-2018-r1|http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27aa5|ada@gentoo.org|659724 7|dev-lang/spark|spark-2019|http://mirrors.cdn.adacore.com/art/5cdf865331e87aa2cdf16b49|ada@gentoo.org|659724 7|dev-lang/spark|spark-2019|http://mirrors.cdn.adacore.com/art/5cdf912431e87a8f1c967d51|ada@gentoo.org|659724 <<< open bugs >>> https://bugs.gentoo.org/659724 dev-lang/spark-2017:_gnatprove_ignores_-aP_option