This recipe is from debian: Paketti libisl15 stretch (oldoldstable) (libs): manipulating sets and relations of integer points bounded by linear constraints 0.18-1: amd64 arm64 armel armhf i386 mips mips64el mipsel ppc64el s390x Paketti libisl19 buster (oldstable) (libs): manipulating sets and relations of integer points bounded by linear constraints 0.20-2: amd64 arm64 armel armhf i386 mips mips64el mipsel ppc64el s390x Paketti libisl23 bookworm (testing) (libs): manipulating sets and relations of integer points bounded by linear constraints 0.25-1: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x All in the isl package. Thank you.
AND ONLY Use the newest headers (for -devel pkg).
This bug appears to have been reported against 'rawhide' during the Fedora Linux 39 development cycle. Changing version to 39.