всички настройки
[  sid  ]
[ Източник:  ]

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

Връзки за cvc4-dbgsym

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник .

Няма съвпадения

Отговорници:

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

debug symbols for cvc4

Други пакети, свързани с cvc4-dbgsym

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на cvc4-dbgsym

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
ia64 (неофициална архитектура) 1.8-3+b2 1 016,0 кБ1 056,0 кБ [списък на файловете]