[ sid ]
Пакет: libcoq-core-ocaml-dbgsym (8.17.0+dfsg-1 и другие) [debports]
Ссылки для libcoq-core-ocaml-dbgsym
Ресурсы Debian:
Исходный код :
Не найденСопровождающие:
Подобные пакеты:
debug symbols for libcoq-core-ocaml
Другие пакеты, относящиеся к libcoq-core-ocaml-dbgsym
|
|
|
|
-
- dep: libcoq-core-ocaml (= 8.17.0+dfsg-1+b2)
- runtime libraries for Coq
Загрузка libcoq-core-ocaml-dbgsym
Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
---|---|---|---|---|
ppc64 (неофициальный перенос) | 8.17.0+dfsg-1+b2 | 1 654,5 Кб | 6 827,0 Кб | [список файлов] |
riscv64 (неофициальный перенос) | 8.17.0+dfsg-1+b2 | 1 779,8 Кб | 6 583,0 Кб | [список файлов] |