Stephen Leake writes: > gprbuild installs two "extra" executables; gprbind and gprlib. > > It used to install them in /usr/lib; I think now it should be > /usr/lib/$(DEB_HOST_MULTIARCH)? The multiarch specification says nothing about executables; for now it deals only with libraries. So you can keep these files in /usr/lib, just like your keep the gprbuild executable in /usr/bin. -- Ludovic Brenta.