diff --git a/core/mpfr/build b/extra/mpfr/build
similarity index 100%
rename from core/mpfr/build
rename to extra/mpfr/build
diff --git a/core/mpfr/checksums b/extra/mpfr/checksums
similarity index 100%
rename from core/mpfr/checksums
rename to extra/mpfr/checksums
diff --git a/core/mpfr/depends b/extra/mpfr/depends
similarity index 100%
rename from core/mpfr/depends
rename to extra/mpfr/depends
diff --git a/core/mpfr/sources b/extra/mpfr/sources
similarity index 100%
rename from core/mpfr/sources
rename to extra/mpfr/sources
diff --git a/core/mpfr/version b/extra/mpfr/version
similarity index 100%
rename from core/mpfr/version
rename to extra/mpfr/version