все параметры
sid  ]
[ Источник:  ]

Пакет: cvc4-dbgsym (1.8-4 и другие) [debports]

Ссылки для cvc4-dbgsym

Screenshot

Ресурсы Debian:

Исходный код :

Не найден

Сопровождающие:

Подобные пакеты:

debug symbols for cvc4

Другие пакеты, относящиеся к cvc4-dbgsym

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка cvc4-dbgsym

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 1.8-4 977,5 Кб1 156,0 Кб [список файлов]
hppa (неофициальный перенос) 1.5-1 3 100,0 Кб3 236,0 Кб [список файлов]
ia64 (неофициальный перенос) 1.8-3+b2 1 016,0 Кб1 056,0 Кб [список файлов]
loong64 (неофициальный перенос) 1.8-4 977,4 Кб1 139,0 Кб [список файлов]
m68k (неофициальный перенос) 1.8-4 935,0 Кб1 101,0 Кб [список файлов]
ppc64 (неофициальный перенос) 1.8-4 987,6 Кб1 034,0 Кб [список файлов]
riscv64 (неофициальный перенос) 1.8-3 863,3 Кб905,0 Кб [список файлов]
sparc64 (неофициальный перенос) 1.8-4 962,3 Кб1 120,0 Кб [список файлов]
x32 (неофициальный перенос) 1.8-4 983,6 Кб1 017,0 Кб [список файлов]