io l'ho installato con urpmi, sul pc di un amico, appena aggiornato, sempre con urpmi,

mi pare semplicemente

# urpmi kdevelop