Package: cryptominisat

• 5.11.15+dfsg1-1.1 (main) [sid]
• 5.11.15+dfsg1-1 (main) [trixie]
• 5.11.4+dfsg1-2 (main) [bookworm]
• 5.8.0+dfsg1-1 (main) [bullseye]