give a list of precise package names for debian