How do you get the Android SDK tools working on a 64-bit debian Linux system? According to Google's docs you just install the "ia32-libs" package and everything will work, but their is no ia32-libs package in recent 64-bit releases...
The trick, it turns out is that first you need to:
dpkg --add-architecture i386
apt-get update
At which point you will have the ia32-libs (virtual) package available.