make[1]: *** [theories/Strings/Byte.vo] Deleting file 'theories/Strings/Byte.glob' make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/coq-8.13.0/work/coq-8.13.0' make: *** [Makefile.make:178: submake] Error 2 * ERROR: sci-mathematics/coq-8.13.0::gentoo failed (compile phase): * emake failed * ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_no-multilib-20210315-144814 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10.2.0 * clang version 11.1.0 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/11/bin /usr/lib/llvm/11 11.1.0 Python 3.8.8 Available Ruby profiles: [1] ruby26 (with Rubygems) [2] ruby27 (with Rubygems) * Available Rust versions: [1] rust-bin-1.50.0 [2] rust-1.50.0 * The following VMs are available for generation-2: *) AdoptOpenJDK 8.282_p08 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm The Glorious Glasgow Haskell Compilation System, version 8.10.4 timestamp(s) of HEAD at this tinderbox image: /var/db/repos/gentoo Sun Mar 21 10:36:06 UTC 2021 emerge -qpvO sci-mathematics/coq [ebuild N ] sci-mathematics/coq-8.13.0 USE="ocamlopt -debug -doc -gtk"
Created attachment 692733 [details] emerge-info.txt
Created attachment 692736 [details] emerge-history.txt
Created attachment 692739 [details] environment
Created attachment 692742 [details] etc.portage.tar.bz2
Created attachment 692745 [details] sci-mathematics:coq-8.13.0:20210321-105907.log
Created attachment 692748 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e77d8b08a5889e455c72cb69ab83094c56c15cf3 commit e77d8b08a5889e455c72cb69ab83094c56c15cf3 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-06-27 21:27:38 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-06-28 01:12:43 +0000 sci-mathematics/coq: drop old 8.13.0-r1 Closes: https://bugs.gentoo.org/777528 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/coq/Manifest | 1 - sci-mathematics/coq/coq-8.13.0-r1.ebuild | 88 -------------------------------- 2 files changed, 89 deletions(-)
