[ sid ]
Paket: psmt2-frontend-dbgsym (0.4.0-2) [debports]
Länkar för psmt2-frontend-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for psmt2-frontend
Andra paket besläktade med psmt2-frontend-dbgsym
|
|
|
|
-
- dep: psmt2-frontend (= 0.4.0-2)
- Parse and type-check SMT-LIB 2 (tool)
Hämta psmt2-frontend-dbgsym
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
riscv64 (inofficiell anpassning) | 122,8 kbyte | 462,0 kbyte | [filförteckning] |