% Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2749k 0 2749k 0 0 1911k 0 --:--:-- 0:00:01 --:--:-- 2749k 100 7659k 0 7659k 0 0 3457k 0 --:--:-- 0:00:02 --:--:-- 4310k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 4531k 0 4531k 0 0 4023k 0 --:--:-- 0:00:01 --:--:-- 4974k coq-8.20.1.tar.gz ... FAILED python-antlr4-4.9.3.tar.gz ... Passed ==> ERROR: One or more files did not pass the validity check! build@euronuc-i486