diff options
| author | Xi Ruoyao <xry111@mengyan1223.wang> | 2022-04-20 18:34:28 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@mengyan1223.wang> | 2022-04-20 18:34:28 +0800 |
| commit | 474ba0c42672358f167ba721341c331fd80acb25 (patch) | |
| tree | e9a195d6b7d455001f67d7ac1499f0ab193984dd /packages.ent | |
| parent | 9de91f78221da0f8000cf694a2884b21b4becd13 (diff) | |
mpfr: use ftp.gnu.org, at least for now
Currently www.mpfr.org has a certificate issue.
Diffstat (limited to 'packages.ent')
| -rw-r--r-- | packages.ent | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages.ent b/packages.ent index 60d7a6f61..fc0c9d180 100644 --- a/packages.ent +++ b/packages.ent @@ -508,7 +508,7 @@ <!ENTITY mpfr-version "4.1.0"> <!ENTITY mpfr-size "1,490 KB"> -<!ENTITY mpfr-url "https://www.mpfr.org/mpfr-&mpfr-version;/mpfr-&mpfr-version;.tar.xz"> +<!ENTITY mpfr-url "https://ftp.gnu.org/gnu/mpfr/mpfr-&mpfr-version;.tar.xz"> <!ENTITY mpfr-md5 "bdd3d5efba9c17da8d83a35ec552baef"> <!ENTITY mpfr-home "https://www.mpfr.org/"> <!ENTITY mpfr-fin-du "38 MB"> |