[ 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 кБ	[списък на файловете]