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 /general.ent | |
| parent | 9de91f78221da0f8000cf694a2884b21b4becd13 (diff) | |
mpfr: use ftp.gnu.org, at least for now
Currently www.mpfr.org has a certificate issue.
Diffstat (limited to 'general.ent')
0 files changed, 0 insertions, 0 deletions