diff options
author | Florian Franzmann | 2015-07-25 17:31:59 +0200 |
---|---|---|
committer | Florian Franzmann | 2015-07-25 22:45:21 +0200 |
commit | d4e10f59c052b26584f52d043c2afa2e524d1c8f (patch) | |
tree | 20f25960b363d249da7e90a94a960d6ef5fb2608 | |
parent | bc23b262bb9e87b3155045532186de6f54360e8a (diff) |
libs/mpfr: version 3.1.3-p4
-rwxr-xr-x | libs/mpfr/DETAILS | 2 | ||||
-rw-r--r-- | libs/mpfr/HISTORY | 6 | ||||
-rw-r--r-- | libs/mpfr/allpatches-3.1.3-p4.xz (renamed from libs/mpfr/allpatches-3.1.3-p2.xz) | bin | 10332 -> 12716 bytes |
3 files changed, 5 insertions, 3 deletions
diff --git a/libs/mpfr/DETAILS b/libs/mpfr/DETAILS index 8512da9e07..66808663e8 100755 --- a/libs/mpfr/DETAILS +++ b/libs/mpfr/DETAILS @@ -1,5 +1,5 @@ SPELL=mpfr - PVERSION=2 + PVERSION=4 XVERSION=3.1.3 VERSION=$XVERSION-p$PVERSION SOURCE_HASH=sha512:79846fd82974269aa48152c2b6dbcb2321130dc4d0f0ba2eb94d56619b177add9b2077ebf88b4382c56db19c4215910e5a252f216715c1eee40baa299da42eb4 diff --git a/libs/mpfr/HISTORY b/libs/mpfr/HISTORY index 8996a832b3..41c9b5e435 100644 --- a/libs/mpfr/HISTORY +++ b/libs/mpfr/HISTORY @@ -1,5 +1,7 @@ -2015-07-15 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> - * DETAILS: fix checksum +2015-07-25 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 3.1.3-p4 + * allpatches-3.1.3-p2.xz: removed + * allpatches-3.1.3-p4.xz: added 2015-07-13 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DETAILS: version 3.1.3-p2 diff --git a/libs/mpfr/allpatches-3.1.3-p2.xz b/libs/mpfr/allpatches-3.1.3-p4.xz Binary files differindex 2e6ebf98f8..4f080ced56 100644 --- a/libs/mpfr/allpatches-3.1.3-p2.xz +++ b/libs/mpfr/allpatches-3.1.3-p4.xz |