==> Synchronizing chroot copy [/data/alhp-workspace/chroot/root] -> [worker-x86-64-v3-1]...done
==> Making package: cvc4 1.8-2.1 (Mon Nov 29 16:56:25 2021)
==> Retrieving sources...
  -> Downloading cvc4-1.8.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   122  100   122    0     0    855      0 --:--:-- --:--:-- --:--:--   859

100   114  100   114    0     0    321      0 --:--:-- --:--:-- --:--:--   321

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100 2835k    0 2835k    0     0  2051k      0 --:--:--  0:00:01 --:--:-- 2841k
100 6589k    0 6589k    0     0  2765k      0 --:--:--  0:00:02 --:--:-- 3298k
100 7370k    0 7370k    0     0  2939k      0 --:--:--  0:00:02 --:--:-- 3473k
  -> Downloading antlr-3.4-complete.jar...
  % 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 2332k  100 2332k    0     0  5738k      0 --:--:-- --:--:-- --:--:-- 5744k
  -> Found cvc4-fix-headers.patch
  -> Found cvc4-gcc7.patch
==> Validating source files with sha512sums...
    cvc4-1.8.tar.gz ... FAILED
    antlr-3.4-complete.jar ... Passed
    cvc4-fix-headers.patch ... Passed
    cvc4-gcc7.patch ... Passed
==> ERROR: One or more files did not pass the validity check!
==> ERROR: Could not download sources.