[ sid ]
Пакет: coqprime-tools-dbgsym (8.17-1 и други) [debports]
Връзки за coqprime-tools-dbgsym
Ресурси за Debian:
Изтегляне на пакет-източник .
Няма съвпаденияОтговорници:
Подобни пакети:
debug symbols for coqprime-tools
Други пакети, свързани с coqprime-tools-dbgsym
|
|
|
|
-
- dep: coqprime-tools (= 8.17-1+b1)
- Primality certification for Coq (tools)
Изтегляне на coqprime-tools-dbgsym
| Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|---|
| ppc64 (неофициална архитектура) | 8.17-1+b1 | 58,0 кБ | 96,0 кБ | [списък на файловете] |
| riscv64 (неофициална архитектура) | 8.17-1+b1 | 57,0 кБ | 88,0 кБ | [списък на файловете] |