[ sid ]
Пакунок: cvc5-dbgsym (1.1.2-2) [debports]
Links for cvc5-dbgsym
Debian Resources:
Download Source Package :
Не знайденоMaintainers:
Similar packages:
debug symbols for cvc5
Інші пакунки пов'язані з cvc5-dbgsym
|
|
|
|
-
- dep: cvc5 (= 1.1.2-2)
- automated theorem prover for SMT problems
Завантажити cvc5-dbgsym
Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|
m68k (unofficial port) | 1,677.7 kB | 1,755.0 kB | [список файлів] |