--- gmp/debian/rules.orig	2011-04-10 09:14:59.000000000 -0700
+++ gmp/debian/rules	2011-04-10 09:22:57.453188275 -0700
@@ -168,7 +168,6 @@
 	$(MAKE) DESTDIR=`pwd`/debian/tmp -C build install
 
 	dh_install -plibgmp10 usr/lib/libgmp.so.*
-	dh_install -plibmp3 usr/lib/libmp.so.*
 
 	dh_install -plibgmpxx4ldbl usr/lib/libgmpxx.so.*
 
@@ -186,7 +185,6 @@
 	$(MAKE) DESTDIR=`pwd`/debian/tmp -C build32 install
 
 	dh_install -plib32gmp10 ${lib32dir}/libgmp.so.*
-	dh_install -plib32mp3 ${lib32dir}/libmp.so.*
 
 	dh_install -plib32gmpxx4 ${lib32dir}/libgmpxx.so.*