Package: boolector

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