Just as was done with Sponge's compiles for Linux, the 32bit libs/cpus were linked with gmp 4.3.2.

The 64bit compiles were linked with gmp 5.0.2. The 32bit compiles for 64bit cpus were linked with 5.0.2 as well.

All .so files were compiled with the default gcc on FreeBSD-8.2-RELEASE
gcc (GCC) 4.2.1 20070719  [FreeBSD]