sci-mathematics/coq – Gentoo Packages

sci-mathematics/coq-8.20.0 installs files that contain a TEXTREL
928101 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/coq-8.15.0-r2 - Fatal error: exception Stack overflow
835583 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/coq-8.19.1 - make inconsistent assumptions over implementation Unix
931889 - Assigned to Gentoo Science Mathematics related packages
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
944174 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/coq-8.17.1 - Failed to run command: dune build @install --display=short --profile release -j 5 --for-release-of-pa
913550 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/coq-8.17.1 - Error: No rule found for plugins/ltac2/ltac2_plugin.cmxs
909329 - Assigned to Gentoo Science Mathematics related packages

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs: