Starting download of /gnu/store/d24jcp33m821k1k0v9xxcxy6y3ppmd6c-jane-street-headers-v0.15.0.tar.gz
From https://ocaml.janestreet.com/ocaml-core/v0.15/files/jane-street-headers-v0.15.0.tar.gz...

 …rs-v0.15.0.tar.gz  5KiB                 0B/s 00:00 [                  ]   0.0%
 …rs-v0.15.0.tar.gz  5KiB             8.3MiB/s 00:00 [##################] 100.0%
 …rs-v0.15.0.tar.gz  5KiB             171KiB/s 00:00 [##################] 100.0%