[ sid ]
Paket: z3-dbgsym (4.8.12-3.1) [debports]
debug symbols for z3
Andra paket besläktade med z3-dbgsym
|
|
|
|
-
- dep: z3 (= 4.8.12-3.1)
- theorem prover from Microsoft Research
Hämta z3-dbgsym
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
riscv64 (inofficiell anpassning) | 117.729,2 kbyte | 121.465,0 kbyte | [filförteckning] |