nixbot

builds

succeeded source checks.aarch64-linux.alt-ergo · build #1 · raw

1elastic-arm-c7c4897b: building vagp4q7k5smrmxfgpkbgw0hdbhisgc5f-source.drv23trying https://github.com/OCamlPro-Iguernlala/ocplib-simplex/archive/v0.4.tar.gz4 % Total % Received % Xferd Average Speed Time Time Time Current5 Dload Upload Total Spent Left Speed6 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 07 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 08100 31784 0 31784 0 0 51298 0 --:--:-- --:--:-- --:--:-- 512989unpacking source archive /build/v0.4.tar.gz