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