summaryrefslogtreecommitdiff
path: root/Build/source/libs/mpfr/mpfr-src/VERSION
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/libs/mpfr/mpfr-src/VERSION')
-rw-r--r--Build/source/libs/mpfr/mpfr-src/VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/libs/mpfr/mpfr-src/VERSION b/Build/source/libs/mpfr/mpfr-src/VERSION
index 0aec50e6ede..3ad0595adcc 100644
--- a/Build/source/libs/mpfr/mpfr-src/VERSION
+++ b/Build/source/libs/mpfr/mpfr-src/VERSION
@@ -1 +1 @@
-3.1.4
+3.1.5