From 83db00c6c8d8df149367060c2be25c07546cd822 Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Thu, 9 Jul 2015 17:45:13 +0200 Subject: [PATCH] scripts/Libraries/mpc/with_modules-*: - added --- scripts/Libraries/mpc/with_modules-1.0.2 | 2 ++ scripts/Libraries/mpc/with_modules-1.0.3 | 2 ++ 2 files changed, 4 insertions(+) create mode 100644 scripts/Libraries/mpc/with_modules-1.0.2 create mode 100644 scripts/Libraries/mpc/with_modules-1.0.3 diff --git a/scripts/Libraries/mpc/with_modules-1.0.2 b/scripts/Libraries/mpc/with_modules-1.0.2 new file mode 100644 index 0000000..2d66a14 --- /dev/null +++ b/scripts/Libraries/mpc/with_modules-1.0.2 @@ -0,0 +1,2 @@ +gmp/5.1.1 +mpfr/3.1.2 diff --git a/scripts/Libraries/mpc/with_modules-1.0.3 b/scripts/Libraries/mpc/with_modules-1.0.3 new file mode 100644 index 0000000..6745bfe --- /dev/null +++ b/scripts/Libraries/mpc/with_modules-1.0.3 @@ -0,0 +1,2 @@ +gmp/6.0.0 +mpfr/3.1.3