Starting download of /gnu/store/yklvzg1r51d5bbbldzqvsz777yxn1py5-Agda-2.6.2.2.tar.gz
From https://hackage.haskell.org/package/Agda/Agda-2.6.2.2.tar.gz...

 …2.2.tar.gz                                  547KiB/s 00:00 | 64KiB transferred
 …2.2.tar.gz                                 697KiB/s 00:00 | 256KiB transferred
 …2.2.tar.gz                                 1.4MiB/s 00:01 | 896KiB transferred
 …2.2.tar.gz                                 2.6MiB/s 00:01 | 1.6MiB transferred