Your message dated Thu, 14 Nov 2024 12:18:58 +0100 with message-id <[email protected]> and subject line no feedback, closing this issue has caused the Debian Bug report #1063664, regarding gcc-13-cross: file conflicts between gnat-13-<triplet> and gnat-{9,10}-<triplet> to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 1063664: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1063664 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Source: gcc-13-cross Version: 14 Severity: serious Hi, there are undeclared file conflicts between gnat-13-<triplet> and gnat-{9,10}-<triplet> in sid. (but not between -9- and -10-). Maybe it would be sufficient to rebuild the package against gcc-13 13.2.0-13 which had some gnat conflict fixes. The conflicting files e.g. for gnat-13-aarch64-linux-gnu on amd64 are usr/aarch64-linux-gnu/lib/libgnarl.so usr/aarch64-linux-gnu/lib/libgnat.so usr/bin/aarch64-linux-gnu-gnat usr/bin/aarch64-linux-gnu-gnatbind usr/bin/aarch64-linux-gnu-gnatchop usr/bin/aarch64-linux-gnu-gnatclean usr/bin/aarch64-linux-gnu-gnatgcc usr/bin/aarch64-linux-gnu-gnathtml usr/bin/aarch64-linux-gnu-gnatkr usr/bin/aarch64-linux-gnu-gnatlink usr/bin/aarch64-linux-gnu-gnatls usr/bin/aarch64-linux-gnu-gnatmake usr/bin/aarch64-linux-gnu-gnatname usr/bin/aarch64-linux-gnu-gnatprep usr/share/man/man1/aarch64-linux-gnu-gnat.1.gz usr/share/man/man1/aarch64-linux-gnu-gnatbind.1.gz usr/share/man/man1/aarch64-linux-gnu-gnatchop.1.gz usr/share/man/man1/aarch64-linux-gnu-gnatclean.1.gz usr/share/man/man1/aarch64-linux-gnu-gnathtml.1.gz usr/share/man/man1/aarch64-linux-gnu-gnatkr.1.gz usr/share/man/man1/aarch64-linux-gnu-gnatlink.1.gz usr/share/man/man1/aarch64-linux-gnu-gnatls.1.gz usr/share/man/man1/aarch64-linux-gnu-gnatmake.1.gz usr/share/man/man1/aarch64-linux-gnu-gnatname.1.gz usr/share/man/man1/aarch64-linux-gnu-gnatprep.1.gz Andreas
--- End Message ---
--- Begin Message ---no feedback, closing this issue.
--- End Message ---

