==> Synchronizing chroot copy [/home/alhp/workspace/chroot/root] -> [build_abff2f41-0bab-44ff-9507-5261a88039fe]...done
==> Making package: cvc4 1.8-3.1 (Wed Apr 29 22:46:43 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.