Add libgmp10 for buildd.debian.org

Signed-off-by: Martin Zobel-Helas <zobel@debian.org>

diff --git a/debian/changelog b/debian/changelog
index d571299f60e6aa628ffb68e16abaed0150a986ec..352f27b66559d14fd15ffe11f80a1f199368579d 100644 (file)
--- 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 32fa673f78c717ae233545bb2d98717574fab1b9..8f31704d2c738c8d640aa921942e458e76622e65 100644 (file)
--- 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.