Package: boolector

• 3.2.4-1 (main) [sid] *
• 1.5.118.6b56be4.121013-1.3 (main) [bookworm, trixie, forky]
• 1.5.118.6b56be4.121013-1 (main) [jessie, stretch, buster, bullseye, jessie-kfreebsd]
• 1.4.ffc2089.100608-1 (main) [squeeze, wheezy]

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