<<< ebuild_src_uri_bad >>> 7|2022-11-28|sci-mathematics/why3-for-spark|why3-for-spark-2019-r2.ebuild|http://mirrors.cdn.adacore.com/art/5cdf915d31e87a8f1c967d54|tupone@gentoo.org <<< metadata_duplicate_useflag_description >>> sci-mathematics/why3-for-spark|zip|tupone@gentoo.org <<< open bugs >>> https://bugs.gentoo.org/883167 sci-mathematics/why3-for-spark-2021-r1_-_sh:line_<snip>:_.../ppx_debug_optim:_No_such_file_or_directory https://bugs.gentoo.org/890756 sci-mathematics/why3-for-spark-2021-r1_fails_to_compile_(DASH-SYSTEM):_Could_not_import_extension_sphinxcontrib.bibtex_(exception:_No_module_named_sphinxcontrib.bibtex)