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                                  561KiB/s 00:00 | 64KiB transferred
 …0.1.tar.gz                                 751KiB/s 00:00 | 256KiB transferred
 …0.1.tar.gz                                 1.6MiB/s 00:01 | 896KiB transferred
 …0.1.tar.gz                                 2.0MiB/s 00:01 | 1.5MiB transferred
 …0.1.tar.gz                                 2.3MiB/s 00:01 | 2.2MiB transferred
 …0.1.tar.gz                                 2.3MiB/s 00:01 | 2.3MiB transferred