==> Synchronizing chroot copy [/home/alhp/workspace/chroot/root] -> [build_a424f4fa-9482-4c35-9051-7678bdd29718]...done
==> Making package: cvc4 1.8-3.1 (Sun Dec 15 05:52:55 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.