[ sid ]
Пакет: python3-cvc5-dbgsym (1.1.2-2) [debports]
Ссылки для python3-cvc5-dbgsym
Ресурсы Debian:
Исходный код :
Не найденСопровождающие:
Подобные пакеты:
debug symbols for python3-cvc5
Другие пакеты, относящиеся к python3-cvc5-dbgsym
|
|
|
|
-
- dep: python3-cvc5 (= 1.1.2-2)
- automated theorem prover for SMT problems (Python bindings)
Загрузка python3-cvc5-dbgsym
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
sparc64 (неофициальный перенос) | 2 398,0 Кб | 2 688,0 Кб | [список файлов] |