libgmp.so.3 Debian 64Bit

[BlueRoot]

Hi,

gibt es die "libgmp.so.3" für Debian 64Bit als 32Bit Version?
Ein Programm brauch lieder diese lib und ich finde nichts. Die ganzen ia32 und multiarch Packete sind drauf.

Gruß