<<< packages_full_repoman >>> upstream.workaround 10 sci-mathematics/coq/coq-8.11.2.ebuild: line 78: Upstream parallel compilation bug (ebuild calls emake -j1) 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-r1.ebuild: line 78: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/coq/coq-8.12.0-r1.ebuild: line 86: 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.ebuild: line 76: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/coq/coq-8.13.0.ebuild: line 84: 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/554232 sci-mathematics/coq-8.4_p6_fails_test_bugs/closed/shouldsucceed/2456.v 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/704928 sci-mathematics/coq-8.9.1-r1_-_src_configure():_Num_library_not_installed,_required_for_OCaml_4.06_or_later https://bugs.gentoo.org/716502 sci-mathematics/coq-8.9.1-r2_Error:_Error_during_linking 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/625120 sci-mathematics/coq-8.6_:_Error:_The_files_/usr/lib64/ocaml/pervasives.cmi https://bugs.gentoo.org/750956 sci-mathematics/coq:_rekeyword_on_ppc 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