--2020-09-23 11:26:51--  https://download.sourceforge.net/re2c/re2c-0.13.7.5.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.7.5.tar.gz has bad WHIRLPOOL digest: expected 1d5f8b4822c04d7e84d79601194568810f4b4053ca55386fc7d216bdaf402ab0282994c823ba5001e558d40f78aa9f7b4ee704b43015046d4ccdb8d6118fde0e, got 19fa61d75522a4669b44e39c1d2e1726c530232130d407f89afee0964997f7a73e83be698b288febcf88e3e03c4f0757ea8964e59b63d93708b138cc42a66eb3