Re: Misconfiguration of gprbuild

[Nicolas Boulenguez]

> I think I found an error in the gprbuild package on Debian bullseye.
> The utility gprlib is installed in /usr/lib/gprbuild/gprlib.

Hello.
Sorry for the delay.
I have forwarded your report at https://bugs.debian.org/998628.