ocamlc plugins/funind/funind_plugin.cma ocamlc plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.{cmo,cmt} ocamlc plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.{cmo,cmt} ocamlc plugins/ssr/ssreflect_plugin.cma ocamlc plugins/micromega/csdpcert.exe * ERROR: sci-mathematics/coq-8.17.1::gentoo failed (compile phase): * Failed to run command: dune build @install --display=short --profile release -j 5 --for-release-of-packages=coq-core,coq-stdlib,coqide-server,coq * * Call stack: ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1-20230901-184510 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-13 * clang/llvm (if any): /usr/lib/llvm/16 16.0.6 Python 3.11.5 Available Ruby profiles: [1] ruby31 (with Rubygems) * Available Rust versions: [1] rust-1.72.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 17.0.7_p7 [openjdk-bin-17] *) Eclipse Temurin JRE 17.0.7_p7 [openjdk-jre-bin-17] Available Java Virtual Machines: [1] openjdk-bin-17 [2] openjdk-jre-bin-17 system-vm php cli (if any): go version go1.21.0 linux/amd64 HEAD of ::gentoo commit d51220f3213fb9c4f159be77e6d8d48be3192463 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Sep 2 21:16:55 2023 +0000 2023-09-02 21:16:54 UTC emerge -qpvO sci-mathematics/coq [ebuild N ] sci-mathematics/coq-8.17.1 USE="-debug (-doc) -gui -ocamlopt -test"
Created attachment 869310 [details] emerge-info.txt
Created attachment 869311 [details] emerge-history.txt
Created attachment 869312 [details] environment
Created attachment 869313 [details] etc.portage.tar.xz
Created attachment 869314 [details] sci-mathematics:coq-8.17.1:20230902-230608.log
Created attachment 869315 [details] temp.tar.xz