sci-mathematics/

coq

Bug Reports

• sci-mathematics/coq-8.19.1 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.19.2 - [perl-5.40] [icu-75.1] [gcc-15] Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=coq-core,coq-

  936228 - 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