Re: Bug#1065309: transition: gnat 12 -> 13 + time_t64

[Graham Inggs <ginggs@debian.org>]

Hi Nicolas, Matthias

On Sun, 3 Mar 2024 at 16:18, Nicolas Boulenguez <nicolas@debian.org> wrote:
> Ben file:
>
> title = "gnat-13";
> is_affected = .depends ~ "libgnat-8/libgnat-9/libgnat-10/libgnat-11/libgnat-12" | .depends ~ "libgnat-13";
> is_good = .depends ~ "libgnat-13";
> is_bad = .depends ~ "libgnat-8/libgnat-9/libgnat-10/libgnat-11/libgnat-12";

ben did not like the syntax, but I think I understood your intention
and set up a tracker [1].

After seeing the output, I tried to simplify it, and assumed that gcc
need not be included.  I set up a second version of the tracker [2].

Please let me know if these need further refinement.  If not, let me
know which tracker you prefer to keep.

Regards
Graham

[1] https://release.debian.org/transitions/html/gnat-13.html
[2] https://release.debian.org/transitions/html/gnat-13-v2.html