diff options
Diffstat (limited to 'libs/mpfr/DETAILS')
| -rwxr-xr-x | libs/mpfr/DETAILS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/mpfr/DETAILS b/libs/mpfr/DETAILS index dc84d1b2d4..b84414d8b9 100755 --- a/libs/mpfr/DETAILS +++ b/libs/mpfr/DETAILS @@ -1,6 +1,6 @@ SPELL=mpfr - VERSION=3.1.1 - SOURCE_HASH=sha512:4fcc87e19a08622b3211a33807e708b78da6c8659f391003703a9e170c485f56e6ebfff48d42afca7b4edb14fd9487684c4d8fd6c9f805ed62b6d5259d5721a8 + VERSION=3.1.2 + SOURCE_HASH=sha512:8d594206afb2637ed39ad564d42c8c4d02b042b95925f5c6ec891e5cb87f7155195559c7ff477256a088ecaaa3c2b0d35a9d11a74ed526a1080d49b2950e5587 SECURITY_PATCH=2 SOURCE=$SPELL-$VERSION.tar.xz SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION |