20 000 ппакетов - это не учитывая разные версии пакетов, не учитывая виртуальные пакеты(вроде java-virtual-machine), НО учитывая собирательные пакеты(вроде kde-core или x-window-system) и учитывая разбитые пекеты(freeciv-server, freeciv-client-gtk, freeciv-sound).