Package: cadical

• 2.1.3-2 (main) [forky, sid]
• 1.7.4-1 (main) [trixie]
• 1.5.3-2 (main) [bookworm]