[ sid ]
Пакет: coqide-dbgsym (8.17.0+dfsg-1 и други) [debports]
Връзки за coqide-dbgsym
Ресурси за Debian:
Изтегляне на пакет-източник .
Няма съвпаденияОтговорници:
Подобни пакети:
debug symbols for coqide
Други пакети, свързани с coqide-dbgsym
|
|
|
|
-
- dep: coqide (= 8.17.0+dfsg-1+b2)
- proof assistant for higher-order logic (gtk interface)
Изтегляне на coqide-dbgsym
| Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|---|
| ppc64 (неофициална архитектура) | 8.17.0+dfsg-1+b2 | 610,2 кБ | 2 789,0 кБ | [списък на файловете] |
| riscv64 (неофициална архитектура) | 8.17.0+dfsg-1+b2 | 641,2 кБ | 2 701,0 кБ | [списък на файловете] |