make --no-print-directory -f CoqMakefile all COQDEP VFILES COQC Alphabet.v COQC Version.v COQNATIVE Version.vo File "./Alphabet.v", line 158, characters 0-171: Error: A coercion will be introduced instead of an instance in future versions when using ':>' in 'Class' declarations. Replace ':>' with '::' (or use '#[global] Existing Instance field.' for compatibility with Coq < 8.18). ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0-20240908-010502 UNMASKED: Please re-assign to toolchain@ if you get a test failure in C, C++, or Fortran code which makes no sense. /etc/portage/package.unmask/60gcc:<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 * clang/llvm (if any): Python 3.12.6 Available Ruby profiles: (none found) Available Rust versions: [1] rust-bin-1.80.1 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.24_p8 [openjdk-bin-11] 2) Eclipse Temurin JDK 17.0.12_p7 [openjdk-bin-17] *) Eclipse Temurin JDK 21.0.4_p7 [openjdk-bin-21] 4) Eclipse Temurin JDK 8.422_p05 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 [3] openjdk-bin-17 [4] openjdk-bin-21 system-vm The Glorious Glasgow Haskell Compilation System, version 9.2.8 php cli (if any): (none found) go version go1.23.0 linux/amd64 HEAD of ::gentoo commit fb03fbc833826620d79fddc24db04073716bea71 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Fri Sep 13 02:38:57 2024 +0000 2024-09-13 02:38:57 UTC emerge -qpvO =dev-ml/coq-menhirlib-20231231 [ebuild N ] dev-ml/coq-menhirlib-20231231 USE="ocamlopt"
Created attachment 902860 [details] emerge-info.txt
Created attachment 902861 [details] dev-ml:coq-menhirlib-20231231:20240913-033700.log
Created attachment 902862 [details] emerge-history.txt.xz
Created attachment 902863 [details] environment
Created attachment 902864 [details] etc.portage.tar.xz
Created attachment 902865 [details] qlist-info.txt.xz
Created attachment 902866 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7d13e0a6f6edaa4630178cdb0ddb39411aa06727 commit 7d13e0a6f6edaa4630178cdb0ddb39411aa06727 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-09-13 15:18:50 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-09-13 20:56:59 +0000 dev-ml/coq-menhirlib: pin coq <8.20.0 to version 20231231 Closes: https://bugs.gentoo.org/939577 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../{coq-menhirlib-20231231.ebuild => coq-menhirlib-20231231-r1.ebuild} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
