[ sid ]
Paket: spass-dbgsym (3.9-1.1) [debports]
Länkar för spass-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for spass
Andra paket besläktade med spass-dbgsym
|
|
|
|
-
- dep: spass (= 3.9-1.1)
- automated theorem prover for first-order logic with equality
Hämta spass-dbgsym
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| sh4 (inofficiell anpassning) | 32,1 kbyte | 119,0 kbyte | [filförteckning] |