Package: boolector
- 1.5.118.6b56be4.121013-1.3 (main) [bookworm, trixie, sid]
- 1.5.118.6b56be4.121013-1 (main) [jessie, stretch, buster, bullseye, jessie-kfreebsd]
- 1.4.ffc2089.100608-1 (main) [squeeze, wheezy]
Note: packages without a link may have patches in a different format than 3.0 (quilt).