Package: picosat

• 960-1 (main) [jessie, stretch, buster, bullseye, sid, jessie-kfreebsd]
• 936-4 (main) [wheezy]
• 913-4 (main) [squeeze]
• 632-1 (main) [lenny]