Finished src/Gappa_obfuscate.vo Building src/gappatac.ml Finished src/gappatac.ml Building src/gappatac.cmxs Building src/gappatac.cmo File "src/gappatac.c", line 35, characters 17-35: Error: Unbound value Tactics.generalize Failed to build src/gappatac.cmo Failed to build src/Gappa_tactic_loader.vo ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0-20250228-172002 UNMASKED: [gcc-15] Requested by sam <sys-devel/gcc-15.0.9999:15 The attached etc.portage.tar.xz has all details. ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-15 * clang version 19.1.7 llvm-config: 19.1.7 Python 3.12.9 go version go1.24.0 linux/amd64 Available Ruby profiles: [1] ruby32 (with Rubygems) [2] ruby34 (with Rubygems) * Available Rust versions: [1] rust-bin-1.77.1 [2] rust-bin-1.85.0 * The following VMs are available for generation-2: *) Eclipse Temurin JDK 21.0.6_p7 [openjdk-bin-21] 2) Eclipse Temurin JDK 8.442_p06 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-21 system-vm HEAD of ::gentoo commit 520e02167252a3106b953a66cef6462a1120faf6 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sun Mar 2 18:04:48 2025 +0000 2025-03-02 18:04:48 UTC emerge -qpvO =sci-mathematics/gappalib-coq-1.5.3 [ebuild N ] sci-mathematics/gappalib-coq-1.5.3 USE="-ocamlopt"
Created attachment 920134 [details] emerge-info.txt
Created attachment 920135 [details] emerge-history.txt
Created attachment 920136 [details] environment
Created attachment 920137 [details] etc.clang.tar.xz
Created attachment 920138 [details] etc.portage.tar.xz
Created attachment 920139 [details] logs.tar.xz
Created attachment 920140 [details] qlist-info.txt.xz
Created attachment 920141 [details] sci-mathematics:gappalib-coq-1.5.3:20250302-193849.log
Created attachment 920142 [details] temp.tar.xz
