> What would be the tool to look into dep-packages, to see the name of the
> executable file, e.g.

To list the contents of an installed package it's dpkg -L <package
name>, to list the contents of a .deb file it's dpkg -c <filename.deb>

Does that help?

-Michael