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             +nan.0TiB/s 00:00 [                  ]   0.0%
 …2.7.0.tar.gz  558KiB                1.6MiB/s 00:00 [##                ]  11.5%
 …2.7.0.tar.gz  558KiB                3.0MiB/s 00:00 [##################] 100.0%