Bug#1038603: libisl23 0.25-1: amd64/i386 baseline violation: uses BMI instructions)

Package: libisl23 Followup-For: Bug #1038603 X-Debbugs-Cc: Debian GCC Maintainers , debian-rele...@lists.debian.org -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 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

Results for 13.1.0 (Debian 13.1.0-9) testsuite on i686-pc-linux-gnu

LAST_UPDATED: Obtained from git: releases/gcc-13.1.0 revision cc035c5d8672f87dc8c2756d9f8367903aa72d93 === acats tests === FAIL: cxaa009 === acats Summary === # of expected passes2327 # of unexpected failures1 Native configuration is i686-pc-

Results for 13.1.0 (Debian 13.1.0-9) testsuite on arm-unknown-linux-gnueabihf

LAST_UPDATED: Obtained from git: releases/gcc-13.1.0 revision cc035c5d8672f87dc8c2756d9f8367903aa72d93 Native configuration is arm-unknown-linux-gnueabihf === libatomic tests === Running target unix === libatomic Summary for unix === # of expected passes

gcc-13-cross-ports_9_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 22 Jul 2023 07:09:39 +0200 Source: gcc-13-cross-ports Architecture: source Version: 9 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers Changed-B

Bug#1040929: marked as done (gcc-13-cross-ports: please add arm64 to HOST_ARCHS_)

Your message dated Sat, 22 Jul 2023 11:03:53 + with message-id and subject line Bug#1040929: fixed in gcc-13-cross-ports 9 has caused the Debian Bug report #1040929, regarding gcc-13-cross-ports: please add arm64 to HOST_ARCHS_ to be marked as done. This means that you claim that the problem

Processing of gcc-13-cross-ports_9_source.changes

gcc-13-cross-ports_9_source.changes uploaded successfully to localhost along with the files: gcc-13-cross-ports_9.dsc gcc-13-cross-ports_9.tar.xz gcc-13-cross-ports_9_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)