[ sid ]
Pakiet: eprover-dbgsym (3.2.5+ds-1 i inne) [debports]
Odnośniki dla eprover-dbgsym
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Podobne pakiety:
- xen-utils-4.20-dbg
- gfortran-13-sparc64-linux-gnu-dbgsym
- default-jdk
- binutils-aarch64-linux-gnu-dbg
- binutils-alpha-linux-gnu-dbg
- binutils-arm-linux-gnueabi-dbg
- binutils-arm-linux-gnueabihf-dbg
- binutils-hppa-linux-gnu-dbg
- binutils-hppa64-linux-gnu-dbg
- binutils-i686-gnu-dbg
- binutils-i686-kfreebsd-gnu-dbg
debug symbols for eprover
Inne pakiety związane z eprover-dbgsym
|
|
|
|
Pobieranie eprover-dbgsym
| Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| alpha (port nieoficjalny) | 3.2.5+ds-1 | 138,1 KiB | 901,0 KiB | [lista plików] |
| hppa (port nieoficjalny) | 3.2.5+ds-1 | 136,3 KiB | 749,0 KiB | [lista plików] |
| ia64 (port nieoficjalny) | 3.0.03+ds-1 | 181,9 KiB | 1 224,0 KiB | [lista plików] |
| loong64 (port nieoficjalny) | 3.2.5+ds-1 | 140,4 KiB | 918,0 KiB | [lista plików] |
| m68k (port nieoficjalny) | 3.2.5+ds-1 | 134,6 KiB | 743,0 KiB | [lista plików] |
| ppc64 (port nieoficjalny) | 3.2.5+ds-1 | 121,7 KiB | 971,0 KiB | [lista plików] |
| riscv64 (port nieoficjalny) | 2.6+ds-3+b1 | 115,6 KiB | 774,0 KiB | [lista plików] |
| sh4 (port nieoficjalny) | 3.2.5+ds-1 | 139,2 KiB | 1 849,0 KiB | [lista plików] |
| sparc64 (port nieoficjalny) | 3.2.5+ds-1 | 136,1 KiB | 918,0 KiB | [lista plików] |
| x32 (port nieoficjalny) | 3.2.5+ds-1 | 131,4 KiB | 741,0 KiB | [lista plików] |