elastic-arm-4e524f5e: building dzd0y2j1dgm1glq536mic3zqqmgh6yx1-source.drv

trying https://github.com/NASA-SW-VnV/ikos/archive/v3.0.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
100 1344k    0 1344k    0     0  2266k      0 --:--:-- --:--:-- --:--:-- 8053k
unpacking source archive /build/v3.0.tar.gz