Bug#1007981: cvc4: Consider upgrading to cvc5

[Celelibi]

Source: cvc4
Version: 1.8-2
Severity: normal
Tags: upstream

Dear Maintainers,

It looks like the upstream CVC4 repository[1] is archived. Suggesting it
will no longer be maintained.

Is is, however succeeded by cvc5[2] which improves CVC4 in a number of
ways.

Best regards,
Celelibi

[1] https://github.com/CVC4/CVC4-archived
[2] https://github.com/cvc5/cvc5

-- System Information:
Debian Release: bookworm/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 5.9.0-5-amd64 (SMP w/2 CPU threads)
Kernel taint flags: TAINT_BAD_PAGE, TAINT_DIE
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)