full names for debian packages