.a/.so files in /usr/lib .ali files in /usr/lib/xxx .ads/.adb files in /usr/include/xxx where xxx is the package that the library is a part of. -- To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org