ports: Fix mpfr download url
This commit is contained in:
parent
d1537e1566
commit
5cf558292b
@ -5,7 +5,7 @@ dependencies=(gmp)
|
|||||||
|
|
||||||
# Download options
|
# Download options
|
||||||
format="tar"
|
format="tar"
|
||||||
url="https://www.mpfr.org/mpfr-current/mpfr-$version.tar.gz"
|
url="https://www.mpfr.org/mpfr-$version/mpfr-$version.tar.gz"
|
||||||
output="mpfr-$version.tar.gz"
|
output="mpfr-$version.tar.gz"
|
||||||
sha256sum="f1cc1c6bb14d18f0c61cc416e083f5e697b6e0e3cf9630b9b33e8e483fc960f0"
|
sha256sum="f1cc1c6bb14d18f0c61cc416e083f5e697b6e0e3cf9630b9b33e8e483fc960f0"
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user