[PATCH] Add libgmp10 for buildd.debian.org

[Mehdi Dogguy <mehdi@debian.org>]

---
 debian/changelog |    4 ++++
 debian/control   |    1 +
 2 files changed, 5 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index d571299..352f27b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -25,6 +25,10 @@ debian.org (55) UNRELEASED; urgency=low
     + bump version on python-django and python-requests
     + replace python-beautifulsoup by python-bs4
 
+  [ Mehdi Dogguy ]
+  * buildd:
+    + libgmp10
+
  -- Peter Palfrader <weasel@debian.org>  Sat, 05 Jul 2014 15:22:45 +0200
 
 debian.org (54) unstable; urgency=medium
diff --git a/debian/control b/debian/control
index 32fa673..8f31704 100644
--- a/debian/control
+++ b/debian/control
@@ -318,6 +318,7 @@ Depends:
 	php5-cgi,
 	php5-pgsql,
 	libapache2-mod-fcgid,
+	libgmp10,
 	libyaml-libyaml-perl
 Description: metapackages for buildd.debian.org dependencies
  This package depends on everything that is needed for a buildd.debian.org.
-- 
1.7.10.4