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

trying https://github.com/OCamlPro/alt-ergo/archive/2.4.2.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 2816k    0 2816k    0     0  2656k      0 --:--:--  0:00:01 --:--:-- 9035k
unpacking source archive /build/2.4.2.tar.gz