==> Synchronizing chroot copy [/home/alhp/workspace/chroot/root] -> [build_ff1ebbdf-7e9a-40ff-af81-1f3f7abfc6b3]...done
==> Making package: cvc4 1.8-3.1 (Sat May 10 12:15:50 2025)
==> 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
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.