ports: Fix mpfr download url
All checks were successful
Build and test / build (push) Successful in 1m48s

This commit is contained in:
apio 2024-02-11 18:26:46 +01:00
parent 4dc060e0b3
commit d385e01796
Signed by: apio
GPG Key ID: B8A7D06E42258954

View File

@ -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"