[ sid ]
Пакунок: qepcad-dbgsym (1.74+ds-4 and others) [debports]
Links for qepcad-dbgsym
Debian Resources:
Download Source Package :
Не знайденоMaintainers:
Similar packages:
debug symbols for qepcad
Інші пакунки пов'язані з qepcad-dbgsym
|
|
|
|
-
- dep: qepcad (= 1.74+ds-4+b1)
- quantifier elimination tool
Завантажити qepcad-dbgsym
Архітектура | Версія | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|---|
ia64 (unofficial port) | 1.74+ds-4+b1 | 2,760.3 kB | 2,966.0 kB | [список файлів] |