[ sid ]
Pakiet: cvc4-dbgsym (1.8-4 i inne) [debports]
Odnośniki dla cvc4-dbgsym
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Podobne pakiety:
debug symbols for cvc4
Inne pakiety związane z cvc4-dbgsym
|
|
|
|
Pobieranie cvc4-dbgsym
Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|---|
alpha (port nieoficjalny) | 1.8-4 | 977,5 KiB | 1 156,0 KiB | [lista plików] |
hppa (port nieoficjalny) | 1.5-1 | 3 100,0 KiB | 3 236,0 KiB | [lista plików] |
ia64 (port nieoficjalny) | 1.8-3+b2 | 1 016,0 KiB | 1 056,0 KiB | [lista plików] |
loong64 (port nieoficjalny) | 1.8-4 | 977,4 KiB | 1 139,0 KiB | [lista plików] |
m68k (port nieoficjalny) | 1.8-4 | 935,0 KiB | 1 101,0 KiB | [lista plików] |
ppc64 (port nieoficjalny) | 1.8-4 | 987,6 KiB | 1 034,0 KiB | [lista plików] |
riscv64 (port nieoficjalny) | 1.8-3 | 863,3 KiB | 905,0 KiB | [lista plików] |
sparc64 (port nieoficjalny) | 1.8-4 | 962,3 KiB | 1 120,0 KiB | [lista plików] |
x32 (port nieoficjalny) | 1.8-4 | 983,6 KiB | 1 017,0 KiB | [lista plików] |