sci-mathematics/flocq – Gentoo Packages

sci-mathematics/flocq-4.1.1 - [libtool] [gcc-15] Error: The variable plus_0_r was not found in the current environment.
941414 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/flocq-4.1.1 - [ncurses-6.5] [libtool] [gcc-15] checking for coqc... ./configure:line <snip>: which: command not found
940621 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/flocq-4.1.1 - Error: The variable Z_div_mod_eq was not found in the current environment.
914278 - Assigned to Gentoo Science Mathematics related packages

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs: