[ 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 |
|---|---|---|---|
| alpha (epävirallinen siirros) | 137,386.1 kt | 140,346.0 kt | [tiedostoluettelo] |
| hppa (epävirallinen siirros) | 134,468.1 kt | 137,230.0 kt | [tiedostoluettelo] |
| ia64 (epävirallinen siirros) | 151,452.9 kt | 154,416.0 kt | [tiedostoluettelo] |
| m68k (epävirallinen siirros) | 128,327.8 kt | 130,924.0 kt | [tiedostoluettelo] |
| ppc64 (epävirallinen siirros) | 137,851.8 kt | 140,869.0 kt | [tiedostoluettelo] |
| riscv64 (epävirallinen siirros) | 117,729.2 kt | 121,465.0 kt | [tiedostoluettelo] |
| sparc64 (epävirallinen siirros) | 133,145.3 kt | 136,149.0 kt | [tiedostoluettelo] |
| x32 (epävirallinen siirros) | 135,049.7 kt | 138,102.0 kt | [tiedostoluettelo] |