[ sid ]
Пакет: cryptominisat-dbgsym (5.11.15+dfsg1-1.1) [debports]
Ссылки для cryptominisat-dbgsym
Ресурсы Debian:
Исходный код :
Не найденСопровождающие:
Подобные пакеты:
debug symbols for cryptominisat
Другие пакеты, относящиеся к cryptominisat-dbgsym
|
|
|
|
-
- dep: cryptominisat (= 5.11.15+dfsg1-1.1)
- SAT solver command line interface
Загрузка cryptominisat-dbgsym
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
ppc64 (неофициальный перенос) | 990,1 Кб | 1 109,0 Кб | [список файлов] |