[angusgr]

There's a debian hardfp port as well (arch "armhf", as opposed to "armel") in the current debian testing release (aka wheezy.) http://wiki.debian.org/ArmHardFloatPort

Not all packages have been successfully ported yet, but it seems to be coming along well.