Hello. The package needs to build with gnat-13 in order to be part of next Debian release. Are you planning a new upload in the near future? Else, are you OK with a non maintainer upload fixing this specific bug?
Hello. The package needs to build with gnat-13 in order to be part of next Debian release. Are you planning a new upload in the near future? Else, are you OK with a non maintainer upload fixing this specific bug?