[ sid ]
Пакет: coq-dbgsym (8.17.0+dfsg-1 и другие) [debports]
debug symbols for coq
Другие пакеты, относящиеся к coq-dbgsym
|
|
|
|
-
- dep: coq (= 8.17.0+dfsg-1+b2)
- интерактивное программное средство доказательства теорем для логики высшего порядка (интерактивная среда и компилятор)
Загрузка coq-dbgsym
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| ppc64 (неофициальный перенос) | 8.17.0+dfsg-1+b2 | 8 064,9 Кб | 36 430,0 Кб | [список файлов] |
| riscv64 (неофициальный перенос) | 8.17.0+dfsg-1+b2 | 8 984,3 Кб | 36 988,0 Кб | [список файлов] |