[ sid ]
Pakket: psmt2-frontend-dbgsym (0.4.0-3 en anderen) [debports]
Verwijzigingen voor psmt2-frontend-dbgsym
Debian bronnen:
Het bronpakket downloaden:
Niet gevondenBeheerders:
Vergelijkbare pakketten:
debug symbols for psmt2-frontend
Andere aan psmt2-frontend-dbgsym gerelateerde pakketten
|
|
|
|
-
- dep: psmt2-frontend (= 0.4.0-3+b1)
- Parse and type-check SMT-LIB 2 (tool)