On Thu, 09 May 2013 18:00:01 +0200 Double Dark <doubledark22@gmail.com> wrote: > Is 'ia32-libs-gtk' a deb package or something others? Yup.. http://packages.debian.org/search?keywords=ia32-libs-gtk&searchon=names&suite=all§ion=all&sourceid=mozilla-search -- CK