Bug 914278

Summary:	sci-mathematics/flocq-4.1.1 - Error: The variable Z_div_mod_eq was not found in the current environment.
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	CONFIRMED ---
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	emerge-info.txt emerge-history.txt environment etc.clang.tar.xz etc.portage.tar.xz logs.tar.xz sci-mathematics:flocq-4.1.1:20230916-055439.log.xz temp.tar.xz

Description Toralf Förster gentoo-dev

2023-09-16 09:34:04 UTC

Finished src/Calc/Operations.vo
File "./src/Calc/Bracket.v", line 629, characters 85-89:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./src/Calc/Bracket.v", line 654, characters 0-27:
Error: The variable Z_div_mod_eq was not found in the current environment.

Failed to build src/Calc/Bracket.vo

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1-20230914-155510

  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-10
 [2] x86_64-pc-linux-gnu-13 *
clang/llvm (if any):
clang version 16.0.6
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.6
Python 3.11.5
Available Ruby profiles:
  [1]   ruby31 (with Rubygems) *
Available Rust versions:
  [1]   rust-1.72.0 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.19_p7 [openjdk-bin-11]
*)	Eclipse Temurin JDK 17.0.7_p7 [openjdk-bin-17]
3)	Eclipse Temurin JDK 8.372_p07 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17  system-vm

php cli (if any):
go version go1.21.1 linux/amd64

  HEAD of ::gentoo
commit 3dade8cad62d12b6ead3f6f47a8735a36a98bdbe
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sat Sep 16 04:31:39 2023 +0000

    2023-09-16 04:31:39 UTC

emerge -qpvO sci-mathematics/flocq
[ebuild  N    ] sci-mathematics/flocq-4.1.1

Comment 1 Toralf Förster gentoo-dev

2023-09-16 09:34:05 UTC

Created attachment 870709 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2023-09-16 09:34:06 UTC

Created attachment 870710 [details]
emerge-history.txt

Comment 3 Toralf Förster gentoo-dev

2023-09-16 09:34:07 UTC

Created attachment 870711 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2023-09-16 09:34:08 UTC

Created attachment 870712 [details]
etc.clang.tar.xz

Comment 5 Toralf Förster gentoo-dev

2023-09-16 09:34:09 UTC

Created attachment 870713 [details]
etc.portage.tar.xz

Comment 6 Toralf Förster gentoo-dev

2023-09-16 09:34:10 UTC

Created attachment 870714 [details]
logs.tar.xz

Comment 7 Toralf Förster gentoo-dev

2023-09-16 09:34:11 UTC

Created attachment 870715 [details]
sci-mathematics:flocq-4.1.1:20230916-055439.log.xz

Comment 8 Toralf Förster gentoo-dev

2023-09-16 09:34:12 UTC

Created attachment 870716 [details]
temp.tar.xz