[ sid ]
Пакунок: depqbf-dbgsym (5.01-3) [debports]
Links for depqbf-dbgsym
Debian Resources:
Download Source Package :
Не знайденоMaintainers:
Similar packages:
debug symbols for depqbf
Інші пакунки пов'язані з depqbf-dbgsym
|
|
|
|
-
- dep: depqbf (= 5.01-3)
- solver for quantified boolean formulae
Завантажити depqbf-dbgsym
| Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|
| hppa (unofficial port) | 398.2 kB | 433.0 kB | [список файлів] |