Starting download of /gnu/store/8nc5bb6wqx4dkhq2h46w4q959wmqma5g-extlib-1.7.8.tar.gz
From https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.8.tar.gz...

 extlib-1.7.8.tar.gz  88KiB               0B/s 00:00 [                  ]   0.0%
 extlib-1.7.8.tar.gz  88KiB           1.5MiB/s 00:00 [#############     ]  72.6%
 extlib-1.7.8.tar.gz  88KiB           1.5MiB/s 00:00 [##################] 100.0%