From 863e120204b120af1efe7506e65a8d7c7633fc5a Mon Sep 17 00:00:00 2001
From: kytv <kytv@mail.i2p>
Date: Sun, 14 Jun 2015 20:12:00 +0000
Subject: [PATCH] Hard-depend on gmp >> 5.

---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 6e24840d0..afac9f505 100644
--- a/debian/control
+++ b/debian/control
@@ -12,7 +12,7 @@ Build-Depends: debhelper (>= 7.0.50~)
  ,default-jdk | openjdk-7-jdk | openjdk-6-jdk
  ,dh-apparmor
  ,gettext
- ,libgmp3-dev
+ ,libgmp-dev (>= 2:5.0.5)
 # uncomment the next line for official builds
 # ,libservice-wrapper-java
  ,libcommons-logging-java