Added missing dependency 'libmpfr-dev' to 'install-apt-reqs'
authorcolepoirier <colepoirier@gmail.com>
Mon, 18 May 2020 20:14:10 +0000 (13:14 -0700)
committercolepoirier <colepoirier@gmail.com>
Mon, 18 May 2020 20:14:10 +0000 (13:14 -0700)
commit7aa836a8b75fbf07a9990134702e351ebd83fc2a
tree946e95b43bd3981f58bde8e0c8fdde0e5b61c3de
parent185bdd1ede39f69b75076d865eda7d1179c03985
Added missing dependency 'libmpfr-dev' to 'install-apt-reqs'
install-apt-reqs