[ sid ]
Pakket: minisat-dbgsym (1:2.2.1-8) [debports]
Verwijzigingen voor minisat-dbgsym
Debian bronnen:
Het bronpakket downloaden:
Niet gevondenBeheerders:
Vergelijkbare pakketten:
debug symbols for minisat
Andere aan minisat-dbgsym gerelateerde pakketten
|
|
|
|
-
- dep: minisat (= 1:2.2.1-8)
- Fast and lightweight SAT solver