[ sid ]
Paketti: eprover-dbgsym (3.2.5+ds-1 ja muut) [debports]
Links for eprover-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for eprover
Muut pakettiin eprover-dbgsym liittyvät paketit
|
|
|
|
Imuroi eprover-dbgsym
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| alpha (epävirallinen siirros) | 3.2.5+ds-1 | 138.1 kt | 901.0 kt | [tiedostoluettelo] |
| hppa (epävirallinen siirros) | 3.2.5+ds-1 | 136.3 kt | 749.0 kt | [tiedostoluettelo] |
| ia64 (epävirallinen siirros) | 3.0.03+ds-1 | 181.9 kt | 1,224.0 kt | [tiedostoluettelo] |
| loong64 (epävirallinen siirros) | 3.2.5+ds-1 | 140.4 kt | 918.0 kt | [tiedostoluettelo] |
| m68k (epävirallinen siirros) | 3.2.5+ds-1 | 134.6 kt | 743.0 kt | [tiedostoluettelo] |
| ppc64 (epävirallinen siirros) | 3.2.5+ds-1 | 121.7 kt | 971.0 kt | [tiedostoluettelo] |
| riscv64 (epävirallinen siirros) | 2.6+ds-3+b1 | 115.6 kt | 774.0 kt | [tiedostoluettelo] |
| sh4 (epävirallinen siirros) | 3.2.5+ds-1 | 139.2 kt | 1,849.0 kt | [tiedostoluettelo] |
| sparc64 (epävirallinen siirros) | 3.2.5+ds-1 | 136.1 kt | 918.0 kt | [tiedostoluettelo] |
| x32 (epävirallinen siirros) | 3.2.5+ds-1 | 131.4 kt | 741.0 kt | [tiedostoluettelo] |