diff --git a/scripts/Libraries/mpfr/with_modules-3.1.2 b/scripts/Libraries/mpfr/with_modules-3.1.2
new file mode 100644
index 0000000..7030e3d
--- /dev/null
+++ b/scripts/Libraries/mpfr/with_modules-3.1.2
@@ -0,0 +1 @@
+gmp/5.1.1
diff --git a/scripts/Libraries/mpfr/with_modules-3.1.3 b/scripts/Libraries/mpfr/with_modules-3.1.3
new file mode 100644
index 0000000..f4ddf98
--- /dev/null
+++ b/scripts/Libraries/mpfr/with_modules-3.1.3
@@ -0,0 +1 @@
+gmp/6.0.0