From 7aa836a8b75fbf07a9990134702e351ebd83fc2a Mon Sep 17 00:00:00 2001
From: colepoirier <colepoirier@gmail.com>
Date: Mon, 18 May 2020 13:14:10 -0700
Subject: [PATCH] Added missing dependency 'libmpfr-dev' to 'install-apt-reqs'

---
 install-apt-reqs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/install-apt-reqs b/install-apt-reqs
index e2bfeab..3a98791 100755
--- 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 \
-- 
2.30.2