<<< ebuild_homepage_redirections >>> 8|200|2025-03-29|sci-mathematics/coq|coq-8.17.1-r1.ebuild|http://coq.inria.fr/|https://rocq-prover.org/|sci-mathematics@gentoo.org 8|200|2025-03-29|sci-mathematics/coq|coq-8.17.1-r1.ebuild|https://github.com/coq/coq/|https://github.com/rocq-prover/rocq|sci-mathematics@gentoo.org 8|200|2025-03-29|sci-mathematics/coq|coq-8.19.2-r1.ebuild|http://coq.inria.fr/|https://rocq-prover.org/|sci-mathematics@gentoo.org 8|200|2025-03-29|sci-mathematics/coq|coq-8.19.2-r1.ebuild|https://github.com/coq/coq/|https://github.com/rocq-prover/rocq|sci-mathematics@gentoo.org 8|200|2025-03-29|sci-mathematics/coq|coq-8.20.0-r1.ebuild|https://coq.inria.fr/|https://rocq-prover.org/|sci-mathematics@gentoo.org 8|200|2025-03-29|sci-mathematics/coq|coq-8.20.0-r1.ebuild|https://github.com/coq/coq/|https://github.com/rocq-prover/rocq|sci-mathematics@gentoo.org 8|200|2025-03-29|sci-mathematics/coq|coq-9.0.0.ebuild|https://coq.inria.fr/|https://rocq-prover.org/|sci-mathematics@gentoo.org 8|200|2025-03-29|sci-mathematics/coq|coq-9.0.0.ebuild|https://github.com/coq/coq/|https://github.com/rocq-prover/rocq|sci-mathematics@gentoo.org 8|200|2024-11-20|sci-mathematics/coq-serapi|coq-serapi-0.20.0.ebuild|https://github.com/ejgallego/coq-serapi/|https://github.com/rocq-archive/coq-serapi|sci-mathematics@gentoo.org <<< ebuild_install_worthless_file_install >>> 8|sci-mathematics/coq|coq-8.17.1-r1.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-8.19.2-r1.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-8.20.0-r1.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-9.0.0.ebuild|sci-mathematics@gentoo.org <<< ebuild_src_uri_size_mismatch >>> 8|sci-mathematics/coq|coq-8.17.1-r1.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-8.19.2-r1.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-8.20.0-r1.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-9.0.0.ebuild|sci-mathematics@gentoo.org <<< packages_pkgcheck_scan >>> DroppedKeywords: version 9.0.0: x86 RedirectedUrl: version 9.0.0: HOMEPAGE: permanently redirected: https://coq.inria.fr/ -> https://rocq-prover.org/ RedirectedUrl: version 9.0.0: HOMEPAGE: permanently redirected: https://github.com/coq/coq/ -> https://github.com/rocq-prover/rocq RedirectedUrl: version 9.0.0: SRC_URI: permanently redirected: https://github.com/coq/coq/archive/V9.0.0.tar.gz -> https://github.com/rocq-prover/rocq/archive/V9.0.0.tar.gz RedirectedUrl: version 9.0.0: metadata.xml: bugs-to: permanently redirected: https://github.com/coq/coq/issues/ -> https://github.com/rocq-prover/rocq/issues RedirectedUrl: version 9.0.0: metadata.xml: changelog: permanently redirected: https://github.com/coq/coq/releases/ -> https://github.com/rocq-prover/rocq/releases RedirectedUrl: version 9.0.0: metadata.xml: remote-id: permanently redirected: https://github.com/coq/coq -> https://github.com/rocq-prover/rocq <<< 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.20.0_installs_files_that_contain_a_TEXTREL https://bugs.gentoo.org/931889 sci-mathematics/coq-8.19.1_-_make_inconsistent_assumptions_over_implementation_Unix https://bugs.gentoo.org/944174 sci-mathematics/coq-8.20.0_-_[ncurses-6.5]_[meson]_[libtool]_Failed_to_run_command:_dune_build_@install_--display=short_--profile_release_-j_4_--for-release-of-packages=c