<<< DUU-BUG-metadata_duplicate_useflag_description >>> sci-mathematics/why3-for-spark|zip|tupone@gentoo.org <<< RMC-IMP-packages_full_repoman >>> upstream.workaround 12 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.ebuild: line 57: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild: line 65: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild: line 66: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild: line 58: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild: line 66: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild: line 67: 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) <<< SRT-BUG-ebuild_src_uri_check >>> sci-mathematics/why3-for-spark|why3-for-spark-2018|http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a43|tupone@gentoo.org sci-mathematics/why3-for-spark|why3-for-spark-2019|http://mirrors.cdn.adacore.com/art/5cdf915d31e87a8f1c967d54|tupone@gentoo.org sci-mathematics/why3-for-spark|why3-for-spark-2019-r1|http://mirrors.cdn.adacore.com/art/5cdf915d31e87a8f1c967d54|tupone@gentoo.org sci-mathematics/why3-for-spark|why3-for-spark-2019-r2|http://mirrors.cdn.adacore.com/art/5cdf915d31e87a8f1c967d54|tupone@gentoo.org