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... [K …4.2.tar.gz 498KiB/s 00:00 | 64KiB transferred [K …4.2.tar.gz 668KiB/s 00:00 | 256KiB transferred [K …4.2.tar.gz 1.4MiB/s 00:01 | 896KiB transferred [K …4.2.tar.gz 2.3MiB/s 00:01 | 1.9MiB transferred