Starting download of /gnu/store/3309c63mhx79484vwc4n5d8py9rim88m-Agda-2.6.2.1.tar.gz
From https://hackage.haskell.org/package/Agda/Agda-2.6.2.1.tar.gz...

 …2.1.tar.gz  1.6MiB                      0B/s 00:00 [                  ]   0.0%
 …2.1.tar.gz  1.6MiB                  3.6MiB/s 00:00 [                  ]   3.9%
 …2.1.tar.gz  1.6MiB                  4.3MiB/s 00:00 [###########       ]  62.3%
 …2.1.tar.gz  1.6MiB                  4.3MiB/s 00:00 [##################] 100.0%