[ sid ]
Пакет: libcvc4parser4-dbgsym (1.5-1) [debports]
Ссылки для libcvc4parser4-dbgsym
Ресурсы Debian:
Исходный код :
Не найденСопровождающие:
Подобные пакеты:
debug symbols for libcvc4parser4
Другие пакеты, относящиеся к libcvc4parser4-dbgsym
|
|
|
|
-
- dep: libcvc4parser4 (= 1.5-1)
- automated theorem prover for SMT problems (parser runtime)
Загрузка libcvc4parser4-dbgsym
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
hppa (неофициальный перенос) | 4 367,3 Кб | 4 751,0 Кб | [список файлов] |