[ sid ]
Pakket: minisat+-dbgsym (1.0-4 en anderen) [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.0-4+b1)
- solver for pseudo-Boolean constraints