<<< packages_full_repoman >>> upstream.workaround 5 sci-mathematics/coq/coq-8.11.2-r1.ebuild: line 78: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/coq/coq-8.12.0-r2.ebuild: line 78: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/coq/coq-8.12.0-r2.ebuild: line 86: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/coq/coq-8.13.0-r1.ebuild: line 76: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/coq/coq-8.13.0-r1.ebuild: line 84: Upstream parallel compilation bug (ebuild calls emake -j1) <<< open bugs >>> https://bugs.gentoo.org/559564 sys-apps/portage-2.2.20.1:_a_slot_conflict_between_dev-lang/ocaml_and_sci-mathematics/coq_cannot_be_auto_resolved https://bugs.gentoo.org/750251 sci-mathematics/coq-8.6.1-r1_-_File_"lib/pp_control.ml",_line_61,_characters_22-33:_61_|___let_ft_=_with_fp_ch_(output_ch)_(fun_()_->_flush_ch)_in__Error:_This_expression_has_type_bytes_->_int_->_int_->_unit https://bugs.gentoo.org/750956 sci-mathematics/coq:_rekeywording https://bugs.gentoo.org/777528 sci-mathematics/coq-8.13.0_-_make:_***_[Makefile.make:178:_submake]_Error_2 https://bugs.gentoo.org/814182 [stable]_sci-mathematics/coq-8.12.0-r1_-_make:_[Makefile.make:178:_submake]_Error_2 https://bugs.gentoo.org/835583 sci-mathematics/coq-8.15.0-r2_-_Fatal_error:_exception_Stack_overflow https://bugs.gentoo.org/839102 sci-mathematics/coq-serapi-0.15.0-r1_-_:(.text+<snip>):_undefined_reference_to_camlCmdliner_entry