[ sid ]
Paketti: psmt2-frontend-dbgsym (0.4.0-3 ja muut) [debports]
Links for psmt2-frontend-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for psmt2-frontend
Muut pakettiin psmt2-frontend-dbgsym liittyvät paketit
|
|
|
|
-
- dep: psmt2-frontend (= 0.4.0-3+b1)
- Parse and type-check SMT-LIB 2 (tool)
Imuroi psmt2-frontend-dbgsym
Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|---|
alpha (epävirallinen siirros) | 0.4.0-3+b1 | 22.3 kt | 78.0 kt | [tiedostoluettelo] |