nixbot

builds

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

1elastic-arm-4e524f5e: building dzd0y2j1dgm1glq536mic3zqqmgh6yx1-source.drv23trying https://github.com/NASA-SW-VnV/ikos/archive/v3.0.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 --:--:-- --:--:-- --:--:-- 07100 1344k 0 1344k 0 0 2266k 0 --:--:-- --:--:-- --:--:-- 8053k8unpacking source archive /build/v3.0.tar.gz