Hi Matthias,
On 2023-07-23 02:34, Roman Lebedev wrote:
Package: libisl23
Followup-For: Bug #1038603
X-Debbugs-Cc: Debian GCC Maintainers <debian-gcc@lists.debian.org>, debian-release@lists.debian.org
While the issue has been resolved in isl 0.26-3,
which was uploaded to unstable on 2023-06-19,
nothing has been done for the stable release,
and Debian 12.1 still comes with a "miscompiled" isl 0.25-1,
and thus gcc is still somewhat unusable(*) on older hardware(**)
Would it be possible to schedule an upload with the same fix to
bookworm?