[ sid ]
Paket: rumur-dbgsym (2023.05.21-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.05.21-1)
- model checker for the Murphi language
Hämta rumur-dbgsym
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
riscv64 (inofficiell anpassning) | 13.130,0 kbyte | 14.225,0 kbyte | [filförteckning] |