[ sid ]
Paketti: z3-dbgsym (4.8.12-3.1) [debports]
Links for z3-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for z3
Muut pakettiin z3-dbgsym liittyvät paketit
|
|
|
|
-
- dep: z3 (= 4.8.12-3.1)
- theorem prover from Microsoft Research
Imuroi z3-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
riscv64 (epävirallinen siirros) | 117,729.2 kt | 121,465.0 kt | [tiedostoluettelo] |