scripts/Libraries/mpfr/with_modules-*:

- added
2015-07-09 17:45:39 +02:00
parent 83db00c6c8
commit 83340128ce
2 changed files with 2 additions and 0 deletions
--- a/scripts/Libraries/mpfr/with_modules-3.1.2
+++ b/scripts/Libraries/mpfr/with_modules-3.1.2
@@ -0,0 +1 @@
+gmp/5.1.1
--- a/scripts/Libraries/mpfr/with_modules-3.1.3
+++ b/scripts/Libraries/mpfr/with_modules-3.1.3
@@ -0,0 +1 @@
+gmp/6.0.0