<<< ebuild_homepage_redirections >>> 8|200|2024-03-05|sci-mathematics/coq|coq-8.19.0.ebuild|http://coq.inria.fr/|https://coq.inria.fr/|sci-mathematics@gentoo.org 8|200|2024-03-05|sci-mathematics/coq|coq-8.19.1.ebuild|http://coq.inria.fr/|https://coq.inria.fr/|sci-mathematics@gentoo.org <<< ebuild_install_worthless_file_install >>> 8|sci-mathematics/coq|coq-8.19.0.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-8.19.1.ebuild|sci-mathematics@gentoo.org <<< packages_pkgcheck_scan >>> HttpsUrlAvailable: version 8.19.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/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/892235 sci-mathematics/coq-serapi-0.16.2-r1_fails_to_compile https://bugs.gentoo.org/909329 sci-mathematics/coq-8.17.1_-_Error:_No_rule_found_for_plugins/ltac2/ltac2_plugin.cmxs https://bugs.gentoo.org/909444 sci-mathematics/coq-serapi-0.17.0_-_Error:_Unbound_module_Stdlib.List https://bugs.gentoo.org/913550 sci-mathematics/coq-8.17.1_-_Failed_to_run_command:_dune_build_@install_--display=short_--profile_release_-j_5_--for-release-of-pa https://bugs.gentoo.org/917066 sci-mathematics/coq-serapi-0.18.1_-_Failed_to_run_command:_dune_build_@install_--display=short_--profile_release_-j_4 https://bugs.gentoo.org/928101 sci-mathematics/coq-8.19.1_installs_files_that_contain_a_TEXTREL