Added missing dependency 'libmpfr-dev' to 'install-apt-reqs'

diff --git a/install-apt-reqs b/install-apt-reqs
index e2bfeabb827cabcccc8dc80fd856a77271150b66..3a98791663f1a32ce2555bb5a2a28274c1b904e0 100755 (executable)
--- a/install-apt-reqs
+++ b/install-apt-reqs
@@ -24,6 +24,7 @@ apt-get install -y autoconf \
     libffi-dev \
     libftdi-dev \
     libgmp-dev \
+    libmpfr-dev \
     libpng++-dev \
     libreadline-dev \
     libreadline7 \