<<< RMC-IMP-packages_full_repoman >>> KEYWORDS.dropped 1 sci-mathematics/coq/coq-8.13.0.ebuild: ppc repo.eapi-deprecated 1 sci-mathematics/coq/coq-8.6.1-r1.ebuild: 5 upstream.workaround 5 sci-mathematics/coq/coq-8.6.1-r1.ebuild: line 79: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/coq/coq-8.9.1-r1.ebuild: line 74: Upstream parallel compilation bug (ebuild calls emake -j1) sci-mathematics/coq/coq-8.11.2.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.13.0.ebuild: line 76: 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/725542 sci-mathematics/coq_does_not_respect_CFLAGS https://bugs.gentoo.org/750956 sci-mathematics/coq:_rekeyword_on_ppc https://bugs.gentoo.org/769317 sci-mathematics/coq-8.12.0-r1,_dev-ml/lablgtk-3.1.1,_and_mega_dev-ml/*:_cleanup_(was:_stabilisation)