diff --git a/Libraries/mpfr/with_modules-3.1.4 b/Libraries/mpfr/with_modules-3.1.4
new file mode 100644
index 0000000..dc5c57c
--- /dev/null
+++ b/Libraries/mpfr/with_modules-3.1.4
@@ -0,0 +1 @@
+gmp/6.1.0