/var/tmp/portage/sci-mathematics/lean-3.35.1-r1/work/lean-3.35.1/src/frontends/lean/widget.h: At global scope: /var/tmp/portage/sci-mathematics/lean-3.35.1-r1/work/lean-3.35.1/src/frontends/lean/widget.h:60:57: error: return type ‘struct lean::json’ is incomplete 60 | json to_json(list<unsigned> const & route = {}) const { return m_ptr->to_json(route); } | ^ /var/tmp/portage/sci-mathematics/lean-3.35.1-r1/work/lean-3.35.1/src/frontends/lean/widget.h:66:10: error: field ‘m_attrs’ has incomplete type ‘lean::json’ 66 | json m_attrs; | ^~~~~~~ In file included from /var/tmp/portage/sci-mathematics/lean-3.35.1-r1/work/lean-3.35.1/src/kernel/expr.h:19, from /var/tmp/portage/sci-mathematics/lean-3.35.1-r1/work/lean-3.35.1/src/frontends/lean/info_manager.h:11, ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_no_multilib-j4-20211201-080026 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-11.2.1 * clang version 13.0.0 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/13/bin /usr/lib/llvm/13 13.0.0 Python 3.9.9 Available Ruby profiles: [1] ruby26 (with Rubygems) [2] ruby27 (with Rubygems) [3] ruby30 (with Rubygems) * Available Rust versions: [1] rust-1.56.1 * The Glorious Glasgow Haskell Compilation System, version 8.10.4 php cli: [1] php7.3 [2] php7.4 [3] php8.1 * HEAD of ::gentoo commit 31ca5dc77105b4681697e8f52dd7bf0463d8e60f Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Fri Dec 3 03:38:22 2021 +0000 2021-12-03 03:38:21 UTC emerge -qpvO sci-mathematics/lean [ebuild N ] sci-mathematics/lean-3.35.1-r1 USE="threads -debug -json"
Created attachment 757303 [details] emerge-info.txt
Created attachment 757304 [details] emerge-history.txt
Created attachment 757305 [details] environment
Created attachment 757306 [details] etc.portage.tar.bz2
Created attachment 757307 [details] logs.tar.bz2
Created attachment 757308 [details] sci-mathematics:lean-3.35.1-r1:20211203-051904.log
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4db633aab7e4f7334eb29434098fd7a18f428b9e commit 4db633aab7e4f7334eb29434098fd7a18f428b9e Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-02-08 17:11:41 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-02-08 17:21:23 +0000 sci-mathematics/lean: drop old 3.35.1-r2 Closes: https://bugs.gentoo.org/828088 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/lean/Manifest | 1 - sci-mathematics/lean/lean-3.35.1-r2.ebuild | 75 ------------------------------ 2 files changed, 76 deletions(-)
