too long lines were shrinked: ocamlopt topbin/.coqworker_bin.eobjs/native/dune__exe__Coqworker_bin.{cmx,o} ocamlopt topbin/coqc_bin.exe (exit 2) (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -O3 -unbox-closures -o topbin/coqc_bin.exe -linkall config/config.cmxa boot/boot.cmxa /usr/lib64/ocaml/str.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/unix.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/threads/threads.cmxa -I /usr/lib64/ocaml clib/clib File "_none_", line 1: Error: Files /usr/lib64/ocaml/memtrace/memtrace.cmxa and /usr/lib64/ocaml/unix.cmxa make inconsistent assumptions over implementation Unix ocamlopt plugins/ltac/.ltac_plugin.objs/native/ltac_plugin__Tacentries.{cmx,o} ocamlopt topbin/coqtop_bin.exe (exit 2) ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0-20240430-210002 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10 [2] x86_64-pc-linux-gnu-13 * clang/llvm (if any): clang version 18.1.5 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/18/bin Configuration file: /etc/clang/x86_64-pc-linux-gnu-clang.cfg /usr/lib/llvm/18 18.1.5 Python 3.11.9 Available Ruby profiles: [1] ruby31 (with Rubygems) [2] ruby32 (with Rubygems) [3] ruby33 (with Rubygems) * Available Rust versions: [1] rust-bin-1.77.1 [2] rust-1.77.1 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.23_p9 [openjdk-bin-11] 2) Eclipse Temurin JDK 17.0.11_p9 [openjdk-bin-17] *) Eclipse Temurin JDK 21.0.3_p9 [openjdk-bin-21] 4) Eclipse Temurin JDK 8.412_p08 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 [3] openjdk-bin-17 [4] openjdk-bin-21 system-vm The Glorious Glasgow Haskell Compilation System, version 9.2.8 php cli (if any): [1] php8.1 [2] php8.2 [3] php8.3 * go version go1.22.3 linux/amd64 HEAD of ::gentoo commit 60e0e39c1ecc76a814c36f2f8f32a1f9773bb95c Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Mon May 13 18:33:57 2024 +0000 2024-05-13 18:33:57 UTC emerge -qpvO sci-mathematics/coq
Created attachment 892896 [details] emerge-info.txt
Created attachment 892897 [details] emerge-history.txt.xz
Created attachment 892898 [details] environment
Created attachment 892899 [details] etc.clang.tar.xz
Created attachment 892900 [details] etc.portage.tar.xz
Created attachment 892901 [details] qlist-info.txt.xz
Created attachment 892902 [details] sci-mathematics:coq-8.19.1:20240513-211448.log
Created attachment 892903 [details] temp.tar.xz