Your message dated Thu, 14 Nov 2024 12:18:58 +0100
with message-id <8870dec5-af98-435e-b750-21714f77a...@debian.org>
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 ow...@bugs.debian.org
immediately.)


-- 
1063664: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1063664
Debian Bug Tracking System
Contact ow...@bugs.debian.org 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 ---

Reply via email to