Package: sat4j

• 2.3.6-1 (main) [trixie, forky, sid]
• 2.3.5-0.3 (main) [buster, bullseye, bookworm]
• 2.3.5-0.2 (main) [stretch]
• 2.3.3-1 (main) [jessie, jessie-kfreebsd]
• 2.3.1-1 (main) [wheezy]
• 2.2.0-3 (main) [squeeze]