[ sid ]
Пакет: cvc4-dbgsym (1.8-3 и другие) [debports]
debug symbols for cvc4
Другие пакеты, относящиеся к cvc4-dbgsym
|
|
|
|
Загрузка cvc4-dbgsym
Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
---|---|---|---|---|
alpha (неофициальный перенос) | 1.8-3+b2 | 964,6 Кб | 1 005,0 Кб | [список файлов] |
hppa (неофициальный перенос) | 1.5-1 | 3 100,0 Кб | 3 236,0 Кб | [список файлов] |
ia64 (неофициальный перенос) | 1.8-3+b2 | 1 016,0 Кб | 1 056,0 Кб | [список файлов] |
m68k (неофициальный перенос) | 1.8-3+b2 | 932,2 Кб | 967,0 Кб | [список файлов] |
ppc64 (неофициальный перенос) | 1.8-3+b2 | 975,0 Кб | 1 023,0 Кб | [список файлов] |
riscv64 (неофициальный перенос) | 1.8-3 | 863,3 Кб | 905,0 Кб | [список файлов] |
sparc64 (неофициальный перенос) | 1.8-3+b2 | 954,3 Кб | 994,0 Кб | [список файлов] |
x32 (неофициальный перенос) | 1.8-3+b2 | 969,9 Кб | 1 005,0 Кб | [список файлов] |