elastic-arm-c7c4897b: building vagp4q7k5smrmxfgpkbgw0hdbhisgc5f-source.drv

trying https://github.com/OCamlPro-Iguernlala/ocplib-simplex/archive/v0.4.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100 31784    0 31784    0     0  51298      0 --:--:-- --:--:-- --:--:-- 51298
unpacking source archive /build/v0.4.tar.gz