diff --git a/centos-7/Dockerfile b/centos-7/Dockerfile index fb75c6f1bc0c10a54edf47fddb3bec75a1889c29..702d6d43d100bda9c59355f8ba918f204fe4fb92 100644 --- a/centos-7/Dockerfile +++ b/centos-7/Dockerfile @@ -292,7 +292,7 @@ ADD bash/pylon.sh /etc/profile.d/pylon.sh RUN version=4.14.2 && \ yum install -y \ gmp-devel \ - mpfs-devel \ + mpfr-devel \ && \ yum clean all && \ source /etc/profile && \