[ sid ]

[ Source: ]

Пакунок: libcoq-ocaml-dbgsym (8.12.0-3 and others) [debports]

Links for libcoq-ocaml-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Не знайдено

Maintainers:

Similar packages:

debug symbols for libcoq-ocaml

Інші пакунки пов'язані з libcoq-ocaml-dbgsym

depends

recommends

suggests

enhances

dep: libcoq-ocaml (= 8.12.0-3+b3)

runtime libraries for Coq

Завантажити libcoq-ocaml-dbgsym

Завантаження для всіх доступних архітектур
Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
sparc64 (unofficial port)	8.12.0-3+b3	35.5 kB	52.0 kB	[список файлів]