source
checks.aarch64-linux.alt-ergo
· build #1
· raw
1elastic-arm-c7c4897b: building dpkdib4lqsmlci1hjxgjilg489ag3s1b-source.drv23trying https://github.com/OCamlPro/alt-ergo/archive/2.4.2.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 2816k 0 2816k 0 0 2656k 0 --:--:-- 0:00:01 --:--:-- 9035k8unpacking source archive /build/2.4.2.tar.gz