Starting download of /gnu/store/sjs5rxi01sy4bagzwcxajk0kghkxvbf4-dune-common-2.7.0.tar.gz From https://dune-project.org/download/2.7.0/dune-common-2.7.0.tar.gz...  …2.7.0.tar.gz 558KiB 0B/s 00:00 [ ] 0.0%  …2.7.0.tar.gz 558KiB 2.1MiB/s 00:00 [## ] 11.5%  …2.7.0.tar.gz 558KiB 3.6MiB/s 00:00 [##################] 100.0%