все параметры
sid  ]
[ Источник:  ]

Пакет: libcoq-core-ocaml-dbgsym (8.17.0+dfsg-1 и другие) [debports]

Ссылки для libcoq-core-ocaml-dbgsym

Screenshot

Ресурсы Debian:

Исходный код :

Не найден

Сопровождающие:

Подобные пакеты:

debug symbols for libcoq-core-ocaml

Другие пакеты, относящиеся к libcoq-core-ocaml-dbgsym

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка 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 Кб [список файлов]