<<< packages_pkgcheck_scan >>> UnusedInherits: version 8.12.0-r2: unused eclass: multilib HttpsUrlAvailable: version 8.16.1: HOMEPAGE: HTTPS url available: http://coq.inria.fr/ -> https://coq.inria.fr/ <<< 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/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 https://bugs.gentoo.org/849638 sci-mathematics/coq-8.15.2_-_Error:_No_rule_found_for_topbin/coqc_bin.exe https://bugs.gentoo.org/888964 sci-mathematics/coq-8.12.0-r2_-_builds_hangs https://bugs.gentoo.org/889278 sci-mathematics/coq-8.12.0-r2_-_make_inconsistent_assumptions_over_interface_Coqpp_parse https://bugs.gentoo.org/892235 sci-mathematics/coq-serapi-0.16.2-r1_fails_to_compile