From 5cf558292b66185ebf7f429f1e7855ffdd99342e Mon Sep 17 00:00:00 2001 From: apio Date: Sun, 11 Feb 2024 18:26:46 +0100 Subject: [PATCH] ports: Fix mpfr download url --- ports/mpfr/PACKAGE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ports/mpfr/PACKAGE b/ports/mpfr/PACKAGE index 2d718148..831d3ab5 100644 --- a/ports/mpfr/PACKAGE +++ b/ports/mpfr/PACKAGE @@ -5,7 +5,7 @@ dependencies=(gmp) # Download options 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" sha256sum="f1cc1c6bb14d18f0c61cc416e083f5e697b6e0e3cf9630b9b33e8e483fc960f0"