File "./src/Pff/Pff.v", line 10, characters 15-19: Warning: Loading Stdlib without prefix is deprecated. Use "From Stdlib Require List" or the deprecated "From Coq Require List" for compatibility with older Coq versions. [deprecated-missing-stdlib,deprecated-since-9.0,deprecated,default] File "./src/Pff/Pff.v", line 11, characters 15-19: Error: Cannot find a physical path bound to logical path Div2. Failed to build src/Pff/Pff.vo ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0-20250319-144002 KEYWORDED/UNMASKED [gcc-15] Requested by sam <sys-devel/gcc-15.0.9999:15 The attached etc.portage.tar.xz has all details. ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-15 * llvm-config: 20.1.1 Python 3.12.9 go version go1.24.1 linux/amd64 Available Ruby profiles: [1] ruby32 (with Rubygems) * Available Rust versions: [1] rust-bin-1.85.1 [2] rust-1.85.1 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 17.0.14_p7 [openjdk-bin-17] *) Eclipse Temurin JDK 21.0.6_p7 [openjdk-bin-21] 3) Eclipse Temurin JDK 8.442_p06 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-17 [3] openjdk-bin-21 system-vm HEAD of ::gentoo commit 7cc354f7301e7ceabc89d4ef3751e7b985204fe2 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sun Mar 23 10:50:16 2025 +0000 2025-03-23 10:50:16 UTC emerge -qpvO =sci-mathematics/flocq-4.1.1 [ebuild N ] sci-mathematics/flocq-4.1.1
Created attachment 922214 [details] emerge-info.txt
Created attachment 922215 [details] emerge-history.txt
Created attachment 922216 [details] environment
Created attachment 922217 [details] etc.portage.tar.xz
Created attachment 922218 [details] logs.tar.xz
Created attachment 922219 [details] qlist-info.txt.xz
Created attachment 922220 [details] sci-mathematics:flocq-4.1.1:20250323-114020.log
Created attachment 922221 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fb7aaa7ec643e2dc44a226b79f93294253402463 commit fb7aaa7ec643e2dc44a226b79f93294253402463 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2025-03-23 23:12:55 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2025-03-24 00:15:10 +0000 sci-mathematics/flocq: drop old 4.1.1 Closes: https://bugs.gentoo.org/951919 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/flocq/Manifest | 1 - sci-mathematics/flocq/flocq-4.1.1.ebuild | 37 -------------------------------- 2 files changed, 38 deletions(-)
