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 569KiB/s 00:00 | 64KiB transferred  …2.2.tar.gz 786KiB/s 00:00 | 256KiB transferred  …2.2.tar.gz 1.5MiB/s 00:01 | 832KiB transferred  …2.2.tar.gz 2.2MiB/s 00:01 | 1.6MiB transferred  …2.2.tar.gz 2.2MiB/s 00:01 | 1.6MiB transferred