Package: cvc4

• 1.8-5 (main) [forky, sid]
• 1.8-3 (main) [bookworm, trixie]
• 1.8-2 (main) [bullseye]
• 1.6-2 (main) [buster]