In che package si trova fig2dev? # apt-cache search fig2dev non mi dice nulla (evidentemente sto sbagliando). TIA Mic