Package: cryptominisat

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

Note: packages without a link may have patches in a different format than 3.0 (quilt).