[ sid ]
Пакет: minisat-dbgsym (1:2.2.1-8) [debports]
debug symbols for minisat
Другие пакеты, относящиеся к minisat-dbgsym
|
|
|
|
-
- dep: minisat (= 1:2.2.1-8)
- Fast and lightweight SAT solver
Загрузка minisat-dbgsym
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
sh4 (неофициальный перенос) | 161,4 Кб | 253,0 Кб | [список файлов] |