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)