I wrote:
But it seems that gnat-4.1 doesn't actually use dh_strip.
Having looked a little deeper, it appears it *does* use dh_strip after all. The file to examine is debian/rules.d/binary-ada.mk.
I'll try modifying that file to add --keep-debug to the dh_strip commands to see if that does anything useful...
-- Kevin Brown kevin@sysexperts.com