==> Building on shinx ==> Checking for remote environment... ==> Syncing package to remote host... sending incremental file list created directory packages/cvc4 ./ PKGBUILD 1,909 100% 0.00kB/s 0:00:00 1,909 100% 0.00kB/s 0:00:00 (xfr#1, to-chk=3/5) cvc4-1.8-2.log 236 100% 230.47kB/s 0:00:00 236 100% 230.47kB/s 0:00:00 (xfr#2, to-chk=2/5) cvc4-fix-headers.patch 355 100% 346.68kB/s 0:00:00 355 100% 346.68kB/s 0:00:00 (xfr#3, to-chk=1/5) cvc4-gcc7.patch 238 100% 232.42kB/s 0:00:00 238 100% 232.42kB/s 0:00:00 (xfr#4, to-chk=0/5) sent 1,905 bytes received 131 bytes 1,357.33 bytes/sec total size is 2,694 speedup is 1.32 ==> Patching arch to riscv64... ==> Running extra-riscv64-build -- -d /home/felix/packages/riscv64-pkg-cache:/var/cache/pacman/pkg -l root15 on remote host... [?25l:: Synchronizing package databases... core downloading... extra downloading... :: Starting full system upgrade... there is nothing to do [?25h==> Building in chroot for [extra] (riscv64)... ==> Synchronizing chroot copy [/var/lib/archbuild/extra-riscv64/root] -> [root15]...done ==> Making package: cvc4 1.8-2 (Mon Jul 17 16:28:43 2023) ==> 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 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 881k 0 881k 0 0 843k 0 --:--:-- 0:00:01 --:--:-- 843k 100 4785k 0 4785k 0 0 2345k 0 --:--:-- 0:00:02 --:--:-- 3919k 100 7370k 0 7370k 0 0 2776k 0 --:--:-- 0:00:02 --:--:-- 4033k  -> 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 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2332k 100 2332k 0 0 2969k 0 --:--:-- --:--:-- --:--:-- 2967k  -> 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. receiving incremental file list sent 8 bytes received 8 bytes 10.67 bytes/sec total size is 0 speedup is 0.00