Package: cvc5

• 1.3.2-1 (main) [forky, sid]
• 1.1.2-2 (main) [trixie]
• 1.0.3-1 (main) [bookworm]