From 83340128ceda9c9c45b014717af06b4b87a53794 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Thu, 9 Jul 2015 17:45:39 +0200
Subject: [PATCH] scripts/Libraries/mpfr/with_modules-*: - added

---
 scripts/Libraries/mpfr/with_modules-3.1.2 | 1 +
 scripts/Libraries/mpfr/with_modules-3.1.3 | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 scripts/Libraries/mpfr/with_modules-3.1.2
 create mode 100644 scripts/Libraries/mpfr/with_modules-3.1.3

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