==> Synchronizing chroot copy [/home/alhp/workspace/chroot/root] -> [build_7c41cec4-68b5-461e-a142-adaddeafbadc]...done
==> Making package: cvc4 1.8-3.1 (Tue Nov 19 18:16:15 2024)
==> 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.