Package: cryptominisat

• 5.11.21+dfsg1-3 (main) [forky, sid]
• 5.11.21+dfsg1-2 (main) [trixie]
• 5.11.4+dfsg1-2 (main) [bookworm]
• 5.8.0+dfsg1-1 (main) [bullseye]