Skip to content

install libmpfr and libmpfrc++ into base images

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

Merge request reports