* Press Ctrl-C to Stop * * sci-mathematics/coq-8.16.1:0::gentoo * /usr/lib64/coq * * sci-mathematics/coq-mathcomp-1.16.0-r1:0::gentoo ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_no_multilib-j4-20230406-071004 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-12 * clang/llvm (if any): clang version 16.0.1 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/16/bin Configuration file: /etc/clang/clang.cfg /usr/lib/llvm/16 16.0.1 Python 3.10.11 Available Rust versions: [1] rust-bin-1.68.2 [2] rust-1.68.2 * The Glorious Glasgow Haskell Compilation System, version 9.0.2 php cli (if any): HEAD of ::gentoo commit ce5a5571b50de864fd7206af105fecf23433989e Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Mon Apr 10 21:16:58 2023 +0000 2023-04-10 21:16:57 UTC emerge -qpvO sci-mathematics/coq [ebuild U ] sci-mathematics/coq-8.17.0 [8.16.1] USE="ocamlopt -debug (-doc) -gui% (-gtk%)"
Created attachment 859831 [details] emerge-info.txt
Created attachment 859832 [details] emerge-history.txt.bz2
Created attachment 859833 [details] etc.clang.tar.bz2
Created attachment 859834 [details] etc.portage.tar.bz2
Created attachment 859835 [details] logs.tar.bz2
Created attachment 859836 [details] sci-mathematics:coq-8.17.0:20230410-213325.log.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=06b959b7d64d15a20cd992b288a3fe15c87b5c88 commit 06b959b7d64d15a20cd992b288a3fe15c87b5c88 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-04-11 12:10:09 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-04-11 14:17:01 +0000 sci-mathematics/coq: add missing subslots Closes: https://bugs.gentoo.org/904150 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/coq/coq-8.12.0-r2.ebuild | 4 ++-- sci-mathematics/coq/coq-8.13.0-r1.ebuild | 4 ++-- sci-mathematics/coq/coq-8.15.2.ebuild | 2 +- sci-mathematics/coq/coq-8.16.0.ebuild | 2 +- sci-mathematics/coq/coq-8.16.1.ebuild | 2 +- 5 files changed, 7 insertions(+), 7 deletions(-)
