Package: picosat

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