* Press Ctrl-C to Stop * * x11-terms/kitty-0.27.1:0::gentoo * /usr/bin/kitten * * Package 'sci-mathematics/kissat-3.0.0' NOT merged due to file ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_systemd-j4-20230212-150024 ------------------------------------------------------------------- GNUMAKEFLAGS="$GNUMAKEFLAGS --jobserver-style=pipe" gcc-config -l: [1] x86_64-pc-linux-gnu-12 * clang/llvm (if any): clang version 15.0.7 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/15/bin Configuration file: /etc/clang/clang.cfg /usr/lib/llvm/15 15.0.7 Python 3.10.10 Available Rust versions: [1] rust-1.67.1 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.18_p10 [openjdk-bin-11] 2) Eclipse Temurin JDK 17.0.6_p10 [openjdk-bin-17] *) Eclipse Temurin JDK 8.362_p09 [openjdk-bin-8] 4) Eclipse Temurin JRE 17.0.6_p10 [openjdk-jre-bin-17] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm [2] openjdk-bin-11 [3] openjdk-bin-17 [4] openjdk-jre-bin-17 The Glorious Glasgow Haskell Compilation System, version 9.0.2 php cli (if any): HEAD of ::gentoo commit f44c73aa668d01c26e5968565712c6521d99e03d Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Mon Feb 13 23:32:00 2023 +0000 2023-02-13 23:32:00 UTC emerge -qpvO sci-mathematics/kissat [ebuild N ] sci-mathematics/kissat-3.0.0
Created attachment 851046 [details] emerge-info.txt
Created attachment 851048 [details] emerge-history.txt
Created attachment 851050 [details] etc.clang.tar.bz2
Created attachment 851052 [details] etc.portage.tar.bz2
Created attachment 851054 [details] logs.tar.bz2
Created attachment 851056 [details] sci-mathematics:kissat-3.0.0:20230214-003133.log
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bd76745465a207b46ac2dae4916eb53ae470d885 commit bd76745465a207b46ac2dae4916eb53ae470d885 Author: Ionen Wolkens <ionen@gentoo.org> AuthorDate: 2023-02-15 05:22:15 +0000 Commit: Ionen Wolkens <ionen@gentoo.org> CommitDate: 2023-02-15 06:24:31 +0000 x11-terms/kitty: add blocker on sci-mathematics/kissat Would be difficult to rename or make 'kitten' optional from kitty's side given it's used/referenced in several places both by kitty's code and user documentation, and not familiar with sci-mathematics/kissat to say what's reasonable to do from that end, so just block. Can be revisited if someone actually needs these to coexist. Closes: https://bugs.gentoo.org/894342 Signed-off-by: Ionen Wolkens <ionen@gentoo.org> x11-terms/kitty/kitty-0.27.1.ebuild | 3 ++- x11-terms/kitty/kitty-9999.ebuild | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9c1c1f31bd1b3426a67b091a5f2a6957c01fc94 commit d9c1c1f31bd1b3426a67b091a5f2a6957c01fc94 Author: Ionen Wolkens <ionen@gentoo.org> AuthorDate: 2023-02-15 05:20:40 +0000 Commit: Ionen Wolkens <ionen@gentoo.org> CommitDate: 2023-02-15 06:24:30 +0000 sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27 Would be difficult to rename or make 'kitten' optional from kitty's side given it's used/referenced in several places both by kitty's code and user documentation, and not familiar with sci-mathematics/kissat to say what's reasonable to do from that end, so just block. Can be revisited if someone actually needs these to coexist. Closes: https://bugs.gentoo.org/894342 Signed-off-by: Ionen Wolkens <ionen@gentoo.org> sci-mathematics/kissat/kissat-3.0.0.ebuild | 2 ++ 1 file changed, 2 insertions(+)
