
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...
[K …2.1.tar.gz                                  570KiB/s 00:00 | 64KiB transferred[K …2.1.tar.gz                                 780KiB/s 00:00 | 256KiB transferred[K …2.1.tar.gz                                 1.6MiB/s 00:01 | 896KiB transferred[K …2.1.tar.gz                                 2.3MiB/s 00:01 | 1.6MiB transferred