[ sid ]

[ Источник: ]

Пакет: libcvc4-4-dbgsym (1.5-1) [debports]

Ссылки для libcvc4-4-dbgsym

Ресурсы Debian:

Сообщения об ошибках

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

Не найден

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

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

debug symbols for libcvc4-4

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

зависимости

рекомендации

предложения

enhances

dep: libcvc4-4 (= 1.5-1)

automated theorem prover for SMT problems (runtime)

Загрузка libcvc4-4-dbgsym

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
hppa (неофициальный перенос)	96 221,8 Кб	98 529,0 Кб	[список файлов]