DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/ minisat2
Package: minisat2
1:2.2.1-8
(main) [trixie, sid]
1:2.2.1-5
(main) [jessie, stretch, buster, bullseye, bookworm, jessie-kfreebsd]
1:2.2.1-3
(main) [wheezy]
1:2.2.0-2
(main) [squeeze]
070721-5
(main) [lenny]