==> Updating pacman database cache
:: Synchronizing package databases...
 core downloading...
 extra downloading...
==> Building cvc4
  ->   repo: extra-staging
  ->   arch: aarch64
  -> worker: ben-5
==> Building cvc4 for [extra-staging] (aarch64)
:: Synchronizing package databases...
 core-staging downloading...
 core-testing downloading...
 core downloading...
 extra-staging downloading...
 extra-testing downloading...
 aur downloading...
 extra downloading...
:: Starting full system upgrade...
 there is nothing to do
==> Building in chroot for [extra-staging] (aarch64)...
==> Synchronizing chroot copy [/var/lib/archbuild/extra-staging-aarch64/root] -> [ben-5]...done
==> Making package: cvc4 1.8-3 (Thu Sep 17 09:32:00 2026)
==> Retrieving sources...
  -> Downloading cvc5-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
curl: (22) The requested URL returned error: 404
==> ERROR: Failure while downloading https://github.com/cvc5/cvc5/archive/1.8/cvc5-1.8.tar.gz
    Aborting...
==> ERROR: Could not download sources.