diff --git a/extra/mpc1/build b/extra/mpc1/build
deleted file mode 100755
index 36dd8cbf..00000000
--- a/extra/mpc1/build
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh -e
-
-./configure \
-    --prefix=/usr \
-    --sysconfdir=/etc \
-    --enable-shared
-
-make
-make DESTDIR="$1" install
-
-# Remove all info files.
-rm -rf "$1/usr/share/info"
diff --git a/extra/mpc1/checksums b/extra/mpc1/checksums
deleted file mode 100644
index c4ef8fd1..00000000
--- a/extra/mpc1/checksums
+++ /dev/null
@@ -1 +0,0 @@
-6985c538143c1208dcb1ac42cedad6ff52e267b47e5f970183a3e75125b43c2e  mpc-1.1.0.tar.gz
diff --git a/extra/mpc1/depends b/extra/mpc1/depends
deleted file mode 100644
index d15d83e2..00000000
--- a/extra/mpc1/depends
+++ /dev/null
@@ -1,2 +0,0 @@
-gmp
-mpfr
diff --git a/extra/mpc1/sources b/extra/mpc1/sources
deleted file mode 100644
index 0f3a6bfe..00000000
--- a/extra/mpc1/sources
+++ /dev/null
@@ -1 +0,0 @@
-https://ftp.gnu.org/gnu/mpc/mpc-1.1.0.tar.gz
diff --git a/extra/mpc1/version b/extra/mpc1/version
deleted file mode 100644
index 7281bb52..00000000
--- a/extra/mpc1/version
+++ /dev/null
@@ -1 +0,0 @@
-1.1.0 1