> It might be because e.g. the gprbuild binary package has a dependency
> on libgnatprj12.
> I am open to trying suggestions for improving the ben file.

Apparently
.source ~ /gcc/ in is_affected
  intends to match gcc-11 gcc-12 gcc-13 gcc-14-cross-ports and so on.
.depends ~ /libgnat/ in is_bad
  is always true because is_affected already applies the same filter.
.depends ~ /libgnat-14/ in is_good and is_bad
  intends to select only libgnat-14.
so I suggest this.

is_affected =   .depends ~ /^libgnat-/ & !.source ~ /^gcc-/
is_good     =   .depends ~  "libgnat-14"
is_bad      = ! .depends ~  "libgnat-14"

Reply via email to