How to use Arduino 1.5.2 on Debian Wheezy 64bit?

cmaglie:
probably installing the "ia32-libs" debian package may solve the problem.
@OutOfLine, please confirm if this fix works for you.

unfortunately no, aptitude leaves me in dependency hell
might be my system

i plan to do another Debian Wheezy install on another system soon, will try there again.

thanks for you help.