<<< ebuild_multiple_deps_per_line >>> 8|sci-mathematics/coq-serapi|coq-serapi-0.19.0.ebuild|sci-mathematics@gentoo.org <<< open bugs >>> https://bugs.gentoo.org/839102 sci-mathematics/coq-serapi-0.15.0-r1_-_:(.text+snip):_undefined_reference_to_camlCmdliner_entry https://bugs.gentoo.org/892235 sci-mathematics/coq-serapi-0.16.2-r1_fails_to_compile https://bugs.gentoo.org/909444 sci-mathematics/coq-serapi-0.17.0_-_Error:_Unbound_module_Stdlib.List https://bugs.gentoo.org/917066 sci-mathematics/coq-serapi-0.18.1_-_Failed_to_run_command:_dune_build_@install_--display=short_--profile_release_-j_4