added list of debian packages