Package: minisat2

• 1:2.2.1-5 (main) [jessie, stretch, buster, bullseye, sid, jessie-kfreebsd]
• 1:2.2.1-3 (main) [wheezy] *
• 1:2.2.0-2 (main) [squeeze]
• 070721-5 (main) [lenny]

* This package has no patches yet.
Note: packages without a link may have patches in a different format than 3.0 (quilt).