There are 2 builds for Raspberry Pi. Note that the latest version available is 1.3.17.
To determine what type your system is, run readelf -a /usr/lib/libc.so.6 | grep FP or readelf -A /proc/self/exe | grep Tag_ABI_VFP_args. If it's armhf there should be output similar to the following:
Tag_FP_arch: VFPv2Tag_ABI_FP_rounding: NeededTag_ABI_FP_denormal: NeededTag_ABI_FP_exceptions: NeededTag_ABI_FP_number_model: IEEE 754Tag_ABI_HardFP_use: SP and DPTag_ABI_VFP_args: VFP registers
The important part is Tag_ABI_VFP_args: VFP registers. If it's not present, then it's armel.
To run the build for Raspberry Pi do the following: