( cd usr/lib ; rm -rf libgmp.so )
( cd usr/lib ; ln -sf libgmp.so.3.3.3 libgmp.so )
( cd usr/lib ; rm -rf libgmp.so.3 )
( cd usr/lib ; ln -sf libgmp.so.3.3.3 libgmp.so.3 )
( cd usr/lib ; rm -rf libgmpxx.so )
( cd usr/lib ; ln -sf libgmpxx.so.3.0.5 libgmpxx.so )
( cd usr/lib ; rm -rf libgmpxx.so.3 )
( cd usr/lib ; ln -sf libgmpxx.so.3.0.5 libgmpxx.so.3 )
( cd usr/lib ; rm -rf libmp.so )
( cd usr/lib ; ln -sf libmp.so.3.1.7 libmp.so )
( cd usr/lib ; rm -rf libmp.so.3 )
( cd usr/lib ; ln -sf libmp.so.3.1.7 libmp.so.3 )
# Install the info files for this package
if [ -x usr/bin/install-info ]
then
   usr/bin/install-info --info-dir=/usr/info /usr/info/gmp.info.gz 2>/dev/null
fi

