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]