<<< RMC-IMP-packages_full_repoman >>> KEYWORDS.dropped 1 sci-mathematics/coq/coq-8.9.1-r2.ebuild: ppc repo.eapi-deprecated 1 sci-mathematics/coq/coq-8.6.1-r1.ebuild: 5 upstream.workaround 3 sci-mathematics/coq/coq-8.6.1-r1.ebuild: Upstream parallel compilation bug (ebuild calls emake -j1 on line: 79) sci-mathematics/coq/coq-8.9.1-r1.ebuild: Upstream parallel compilation bug (ebuild calls emake -j1 on line: 74) sci-mathematics/coq/coq-8.9.1-r2.ebuild: Upstream parallel compilation bug (ebuild calls emake -j1 on line: 74) <<< WWT-BUG-ebuild_homepage_http_statuscode >>> 000|sci-mathematics/coq|coq-8.6.1-r1|http://coq.inria.fr/|sci-mathematics@gentoo.org|554232:559564:697066:704928:716502:625120:725542 000|sci-mathematics/coq|coq-8.9.1-r1|http://coq.inria.fr/|sci-mathematics@gentoo.org|554232:559564:697066:704928:716502:625120:725542 000|sci-mathematics/coq|coq-8.9.1-r2|http://coq.inria.fr/|sci-mathematics@gentoo.org|554232:559564:697066:704928:716502:625120:725542 <<< 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/697066 sci-mathematics/coq-8.10.2_version_bump 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/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