Starting download of /gnu/store/hlm4vrv5vnaj0fv7ihqy7lqz3c09ndqb-Agda-2.6.0.1.tar.gz From https://hackage.haskell.org/package/Agda/Agda-2.6.0.1.tar.gz...  …0.1.tar.gz 468KiB/s 00:00 | 64KiB transferred  …0.1.tar.gz 579KiB/s 00:00 | 256KiB transferred  …0.1.tar.gz 776KiB/s 00:01 | 512KiB transferred  …0.1.tar.gz 930KiB/s 00:01 | 832KiB transferred  …0.1.tar.gz 1.1MiB/s 00:01 | 1.2MiB transferred  …0.1.tar.gz 1.2MiB/s 00:01 | 1.6MiB transferred  …0.1.tar.gz 1.1MiB/s 00:02 | 1.8MiB transferred  …0.1.tar.gz 1.2MiB/s 00:02 | 2.1MiB transferred  …0.1.tar.gz 1.2MiB/s 00:02 | 2.3MiB transferred