> 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.