All Debian ARM's are compiled hard float. Not all of them actually us Floating Point, but you find out if they do when they explode with an illegal opcode exception.
You also can't mix n' match hard and soft float libraries. The loader pretty much wants you to make up your mind one way or the other.
My toolchain is up to 1GB of stuff now due to all the dependencies I've had to download and compile for various projects.