<<< DUU-BUG-metadata_duplicate_useflag_description >>> sci-mathematics/why3-for-spark|zip|tupone@gentoo.org <<< RMC-IMP-packages_full_repoman >>> upstream.workaround 9 sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild: line 57: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild: line 65: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild: line 66: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild: line 88: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild: line 96: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild: line 97: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild: line 94: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild: line 102: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild: line 103: Upstream parallel compilation bug (ebuild calls emake -j1) <<< SRT-BUG-ebuild_src_uri_check >>> 6|sci-mathematics/why3-for-spark|why3-for-spark-2018|http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a43|tupone@gentoo.org 7|sci-mathematics/why3-for-spark|why3-for-spark-2019-r2|http://mirrors.cdn.adacore.com/art/5cdf915d31e87a8f1c967d54|tupone@gentoo.org