Editor icone su gnome

Stavo cercando un'editor di icone per Gnome, e cercando con il consueto:

sudo apt-cache search gnome icon

non ho trovato niente di rilevante. Eppure cercando sul sito dei package ufficiali di ubuntu, ho trovato gnome-iconedit, sul repository hardy e precedenti.
Non so per quale motivo su intrepid e' stato tolto, quindi per installarlo si deve abilitare il repository hardy

sudo gedit /etc/apt/sources.list

e aggiungiamo le due righe:

deb http://us.archive.ubuntu.com/ubuntu/ hardy universe
deb-src http://us.archive.ubuntu.com/ubuntu/ hardy universe

ok. adesso con un

sudo apt-get update
sudo apt-get install gnome-iconedit

siamo in grado di installare correttamente il programma.