install libmpfr and libmpfrc++ into base images (!50) · Merge requests · docker / CI Images · GitLab

Simon Praetorius requested to merge simon.praetorius/ci:feature/add_mpfr_library into master Aug 31, 2019

The libraries MPFR and MPReal are needed by the replacement of GMP by MPFR, see core/dune-common!565 (closed)