_build/install/default/bin/coqc.byte -coqlib _build_vo/default//lib/coq/ -q -I _build/default/plugins/btauto -I _build/default/plugins/cc -I _build/default/plugins/derive -I _build/default/plugins/extraction -I _build/default/plugins/firstorder -I _build/default/plugins/funind -I _build/default/plugins/ltac -I _build/default/plugins/ltac2 -I _build/default/plugins/micromega -I _build/default/plugins/nsatz -I _build/default/plugins/ring -I _build/default/plugins/rtauto -I _build/default/plugins/ssr -I _build/default/plugins/ssrmatching -I _build/default/plugins/syntax _build_vo/default//lib/coq/theories/Init/Specif.v -o _build_vo/default//lib/coq/theories/Init/Specif.vo -noinit -R _build_vo/default//lib/coq/theories Coq File "topbin/dune", line 24, characters 7-15: 24 | (name coqc_bin) ^^^^^^^^ Error: No rule found for topbin/coqc_bin.exe make[1]: *** [Makefile.common:184: _build/default/coq-core.install] Error 1 make[1]: *** Waiting for unfinished jobs.... ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_hardened-j4-20220531-135334 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-9.3.1 [2] x86_64-pc-linux-gnu-10.3.1 [3] x86_64-pc-linux-gnu-12.1.1 * clang/llvm (if any): clang version 14.0.4 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/14/bin /usr/lib/llvm/14 14.0.4 Python 3.9.13 Available Rust versions: [1] rust-1.61.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.15_p10 [openjdk-bin-11] *) Eclipse Temurin JDK 17.0.3_p7 [openjdk-bin-17] 3) Eclipse Temurin JDK 8.332_p09 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 [3] openjdk-bin-17 system-vm The Glorious Glasgow Haskell Compilation System, version 8.10.4 php cli: HEAD of ::gentoo commit e3590f1248c73b0bb7a8e453e454daeed5c84ff4 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Jun 4 00:18:11 2022 +0000 2022-06-04 00:18:10 UTC emerge -qpvO sci-mathematics/coq [ebuild N ] sci-mathematics/coq-8.15.2 USE="-debug (-doc) -gtk -ocamlopt"
Created attachment 782690 [details] emerge-info.txt
Created attachment 782693 [details] emerge-history.txt.bz2
Created attachment 782696 [details] environment
Created attachment 782699 [details] etc.portage.tar.bz2
Created attachment 782702 [details] sci-mathematics:coq-8.15.2:20220604-011345.log
Created attachment 782705 [details] temp.tar.bz2
The version 8.15.2 of sci-mathematics/coq is gone from the ::gentoo tree.