diff --git a/extra/mpfr/build b/extra/mpfr/build
deleted file mode 100755
index b6d838b8..00000000
--- a/extra/mpfr/build
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh -e
-
-./configure \
-    --prefix=/usr \
-    --enable-shared
-
-make
-make DESTDIR="$1" install
-
-# Remove all info files.
-rm -rf "$1/usr/share/info"
diff --git a/extra/mpfr/checksums b/extra/mpfr/checksums
deleted file mode 100644
index 16779e4b..00000000
--- a/extra/mpfr/checksums
+++ /dev/null
@@ -1 +0,0 @@
-1d3be708604eae0e42d578ba93b390c2a145f17743a744d8f3f8c2ad5855a38a  mpfr-4.0.2.tar.xz
diff --git a/extra/mpfr/depends b/extra/mpfr/depends
deleted file mode 100644
index a0a04787..00000000
--- a/extra/mpfr/depends
+++ /dev/null
@@ -1 +0,0 @@
-gmp
diff --git a/extra/mpfr/sources b/extra/mpfr/sources
deleted file mode 100644
index d7e922ee..00000000
--- a/extra/mpfr/sources
+++ /dev/null
@@ -1 +0,0 @@
-http://www.mpfr.org/mpfr-4.0.2/mpfr-4.0.2.tar.xz
diff --git a/extra/mpfr/version b/extra/mpfr/version
deleted file mode 100644
index 47880ed5..00000000
--- a/extra/mpfr/version
+++ /dev/null
@@ -1 +0,0 @@
-4.0.2 1