New Upstream Snapshot - cvc4
There were merge conflicts while merging a new upstream version.
More details
Historical runs
- upstream-merged-conflicts: Merging upstream version 1.8+git20230121.1.a640909 resulted in conflicts.
- too-many-requests: Unexpected HTTP status 429 for https://salsa.debian.org/science-team/cvc4.git/info/refs?service=git-upload-pack: Unable to handle http code: Too Many Requests
- worker-timeout: No keepalives received in 10:00:11.963513.