--2020-09-23 11:45:52-- https://dev.gentoo.org/~mgorny/dist/mpfr-3.1.5-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.5-patchset.tar.xz has bad BLAKE2B digest: expected c18392ecc3325c0b889b540257f3bfe3c382a7f0d12a5dc87550e9ee884f87480bcfec7541e05c6c27bcfd7c5fa60d35f575f56ccea59912434b241f51e5d113, got 786a02f742015903c6c6fd852552d272912f4740e15847618a86e217f71f5419d25e1031afee585313896444934eb04b903a685b1448b755d56f701afe9be2ce