--2020-09-23 11:26:51--  https://download.sourceforge.net/re2c/re2c-0.13.6.tar.gz
Resolving download.sourceforge.net... 216.105.38.13
Connecting to download.sourceforge.net|216.105.38.13|:443... connected.
HTTP request sent, awaiting response... 429 Too Many Requests
2020-09-23 11:26:51 ERROR 429: Too Many Requests.

re2c-0.13.6.tar.gz has bad WHIRLPOOL digest: expected af810c4d8e41eb01cb4b06c86932fda6da86d1690a17cd626f3a864087a378cf685a9ae6ab170cb7581c696e08ca4474f128b51bff1d1284f2a9d2252d60f226, got 19fa61d75522a4669b44e39c1d2e1726c530232130d407f89afee0964997f7a73e83be698b288febcf88e3e03c4f0757ea8964e59b63d93708b138cc42a66eb3