ilcdesktop ILC Desktop true fermi-desktop-onsite kde-desktop gnome-desktop office development-tools editors authoring-and-publishing development-tools openssh-server printing engineering-and-scientific admin-tools mysql-tools upsupdbootstrap ILCDesktop-tag ILCDesktop-tree krb5-getcert R kdevelop zz_tex_tweaks zz_a2ps_stdout