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...  …2.1.tar.gz 457KiB/s 00:00 | 64KiB transferred  …2.1.tar.gz 72KiB/s 00:02 | 128KiB transferred  …2.1.tar.gz 808KiB/s 00:02 | 1.6MiB transferred  …2.1.tar.gz 830KiB/s 00:02 | 1.6MiB transferred