Starting download of /gnu/store/4xiwcnn4vzd9nkac1kkfz0ql5vjs5gqz-Agda-2.5.4.2.tar.gz
From https://hackage.haskell.org/package/Agda/Agda-2.5.4.2.tar.gz...

 …4.2.tar.gz                                  485KiB/s 00:00 | 64KiB transferred
 …4.2.tar.gz                                 837KiB/s 00:00 | 320KiB transferred
 …4.2.tar.gz                                 1.1MiB/s 00:01 | 704KiB transferred
 …4.2.tar.gz                                 1.3MiB/s 00:01 | 1.1MiB transferred
 …4.2.tar.gz                                 1.4MiB/s 00:01 | 1.4MiB transferred
 …4.2.tar.gz                                 1.4MiB/s 00:01 | 1.8MiB transferred
 …4.2.tar.gz                                 1.4MiB/s 00:01 | 1.9MiB transferred