Add gmp back into depends

2 files changed, 2 insertions, 1 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 16c061795702..791c918edb39 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -7,6 +7,7 @@ pkgbase = gnatcoll-gmp
 	arch = x86_64
 	license = GPL
 	makedepends = gprbuild>=2018
+	depends = gmp
 	depends = gnatcoll-core>=2018
 	conflicts = gnatcoll-gmp-git
 	source = http://mirrors.cdn.adacore.com/art/5b0ce9cfc7a4475261f97ca5
diff --git a/PKGBUILD b/PKGBUILD
index 91f3206687f1..0f02cacc9605 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -10,7 +10,7 @@ url='https://github.com/AdaCore/gnatcoll-bindings/'
 arch=('i686' 'x86_64')
 license=('GPL')
 
-depends=('gnatcoll-core>=2018')
+depends=('gmp' 'gnatcoll-core>=2018')
 makedepends=('gprbuild>=2018')
 
 conflicts=('gnatcoll-gmp-git')