diff --git a/idris.spec b/idris.spec
index dd1be44..8603c78 100644
--- a/idris.spec
+++ b/idris.spec
@@ -2,7 +2,7 @@
 
 Name:           idris
 Version:        0.9.9.1
-Release:        7%{?dist}
+Release:        8%{?dist}
 Summary:        Functional Programming Language with Dependent Types
 
 License:        BSD
@@ -40,6 +40,7 @@ BuildRequires:  gc-devel
 ## idris compiles to C and then uses gcc linking to the static rts library
 ## to generate executables (so devel files are included in the main package)
 Requires:       gcc
+Requires:       gmp-devel
 
 %description
 Idris is a general purpose language with full dependent types.
@@ -89,6 +90,9 @@ cabal_configure_extra_options=--datadir=%{_libdir}
 
 
 %changelog
+* Thu Jul 28 2016 Jens Petersen <petersen@redhat.com> - 0.9.9.1-8
+- require gmp-devel (#1360168)
+
 * Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.9.1-7
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild