Starting download of /gnu/store/ahs9zc0b0jcawg3bp9nl4q2s5lpndj2k-antlr-3.3.tar.gz
From https://github.com/antlr/website-antlr3/raw/gh-pages/download/antlr-3.3.tar.gz...
following redirection to `https://raw.githubusercontent.com/antlr/website-antlr3/gh-pages/download/antlr-3.3.tar.gz'...

 antlr-3.3.tar.gz  8.5MiB                 0B/s 00:00 [                  ]   0.0%
 antlr-3.3.tar.gz  8.5MiB             7.9MiB/s 00:00 [                  ]   0.7%
 antlr-3.3.tar.gz  8.5MiB            36.5MiB/s 00:00 [################  ]  89.6%
 antlr-3.3.tar.gz  8.5MiB            38.2MiB/s 00:00 [##################] 100.0%