[ sid ]
Paket: rumur-dbgsym (2023.11.27-1) [debports]
Länkar för rumur-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for rumur
Andra paket besläktade med rumur-dbgsym
|
|
|
|
-
- dep: rumur (= 2023.11.27-1)
- model checker for the Murphi language
Hämta rumur-dbgsym
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
x32 (inofficiell anpassning) | 17.190,9 kbyte | 18.298,0 kbyte | [filförteckning] |