--2020-09-23 11:45:52-- https://dev.gentoo.org/~mgorny/dist/mpfr-3.1.3-patchset.tar.xz Resolving dev.gentoo.org... 2001:470:ea4a:1:5054:ff:fec7:86e4, 140.211.166.183 Connecting to dev.gentoo.org|2001:470:ea4a:1:5054:ff:fec7:86e4|:443... connected. HTTP request sent, awaiting response... 404 Not Found 2020-09-23 11:45:52 ERROR 404: Not Found. mpfr-3.1.3-patchset.tar.xz has bad BLAKE2B digest: expected b2ebf0f0d5b90f8f9618c71762ca3def64bad6c79e7b32ca0d9121d2ed4032b869b945359da79ba2eb2cca07789cc1ede1502bb998f5f1234b206825d2db6ebd, got 786a02f742015903c6c6fd852552d272912f4740e15847618a86e217f71f5419d25e1031afee585313896444934eb04b903a685b1448b755d56f701afe9be2ce