Package: minisat+

• 1.0-5 (main) [trixie, forky, sid]
• 1.0-4 (main) [buster, bullseye, bookworm]
• 1.0-3 (main) [stretch]
• 1.0-2 (main) [wheezy, jessie, jessie-kfreebsd]

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