[ sid ]
Пакет: libcoq-gappa-dbgsym (1.5.5-2 и други) [debports]
Връзки за libcoq-gappa-dbgsym
Ресурси за Debian:
Изтегляне на пакет-източник .
Няма съвпаденияОтговорници:
Подобни пакети:
debug symbols for libcoq-gappa
Други пакети, свързани с libcoq-gappa-dbgsym
|
|
|
|
-
- dep: libcoq-gappa (= 1.5.3-1+b1) [riscv64]
- Coq tactic to use Gappa for floating-point goals
- dep: libcoq-gappa (= 1.5.5-2) [не riscv64]
Изтегляне на libcoq-gappa-dbgsym
| Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|---|
| loong64 (неофициална архитектура) | 1.5.5-2 | 6,2 кБ | 41,0 кБ | [списък на файловете] |
| ppc64 (неофициална архитектура) | 1.5.5-2 | 6,4 кБ | 45,0 кБ | [списък на файловете] |
| riscv64 (неофициална архитектура) | 1.5.3-1+b1 | 5,8 кБ | 39,0 кБ | [списък на файловете] |