added debian package list