[sawfish] debian/control: depend on either libgmp10-dev or libgmp3-dev

[Christopher Bratusek <chrisb src gnome org>]

commit 5bc0ca544018f4d718c0c3b43e33333af6b21247
Author: Christopher Roy Bratusek <zanghar freenet de>
Date:   Fri Dec 17 22:55:34 2010 +0100

    debian/control:â??depend on either libgmp10-dev or libgmp3-dev

 debian/control.in |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/debian/control.in b/debian/control.in
index ca43676..c741b75 100644
--- a/debian/control.in
+++ b/debian/control.in
@@ -7,7 +7,7 @@ Build-Depends: gettext (>= 0.10.37),
                debhelper (>= 7.0.0),
                libxinerama-dev,
                rep-gtk (>= 1:@REP_GTK_MIN_VER ~@gitdate@),
-               libgmp3-dev (>= 4.1.4-8),
+               libgmp10-dev | libgmp3-dev (>= 4.1.4-8),
                texinfo (<< 4.11) | texinfo (>= 4.11.dfsg.1-3), 
                libgtk2.0-dev (>= @GTK_MIN_VER@),
                libxrender-dev,