MPFR: Bump revision for rebuild.

This commit is contained in:
waddlesplash
2020-06-05 11:58:14 -04:00
committed by GitHub
parent fd5df51747
commit 3931365550

View File

@@ -23,7 +23,7 @@ improved an existing one, please share your work!"
HOMEPAGE="https://www.mpfr.org"
COPYRIGHT="2000-2014 INRIA"
LICENSE="GNU LGPL v3"
REVISION="3"
REVISION="4"
SOURCE_URI="http://ftp.gnu.org/gnu/mpfr/mpfr-$portVersion.tar.bz2"
CHECKSUM_SHA256="cf4f4b2d80abb79e820e78c8077b6725bbbb4e8f41896783c899087be0e94068"
PATCHES="mpfr-$portVersion.patchset"