diff --git a/Libraries/mpfr/3/variants b/Libraries/mpfr/3/variants
new file mode 100644
index 0000000..3c5abe5
--- /dev/null
+++ b/Libraries/mpfr/3/variants
@@ -0,0 +1,3 @@
+3.1.2	Linux,Darwin	stable		gmp/5.1.1
+3.1.3	Linux,Darwin	stable		gmp/6.0.0
+3.1.4	Linux,Darwin	stable		gmp/6.1.0
diff --git a/Libraries/mpfr/with_modules-3.1.2 b/Libraries/mpfr/with_modules-3.1.2
deleted file mode 100644
index 7030e3d..0000000
--- a/Libraries/mpfr/with_modules-3.1.2
+++ /dev/null
@@ -1 +0,0 @@
-gmp/5.1.1
diff --git a/Libraries/mpfr/with_modules-3.1.3 b/Libraries/mpfr/with_modules-3.1.3
deleted file mode 100644
index f4ddf98..0000000
--- a/Libraries/mpfr/with_modules-3.1.3
+++ /dev/null
@@ -1 +0,0 @@
-gmp/6.0.0