Hi Nicolas On Sat, 26 Apr 2025 at 15:04, Nicolas Boulenguez <nicolas@debian.org> wrote: > The package list generated by v3 looks correct. > I agree that older libraries, if any, should also be reported. Thanks for confirming! I've committed the change to the gnat-14 tracker, and moved it to 'old' so we can re-use it for the next transition. Regards Graham