On Sep 02 2025, Eric Botcazou wrote: > What does the s-atopri.ads file point to in the 2 directories?
They both point to s-atopri__32.ads. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."