[ sid ]

[ Source: ]

Пакунок: libcoq-unicoq-dbgsym (1.6-8.17-1 and others) [debports]

Links for libcoq-unicoq-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Не знайдено

Maintainers:

Similar packages:

debug symbols for libcoq-unicoq

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

depends

recommends

suggests

enhances

dep: libcoq-unicoq (= 1.6-8.17-1+b2)

enhanced unification algorithm for Coq

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

Завантаження для всіх доступних архітектур
Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
riscv64 (unofficial port)	1.6-8.17-1+b2	17.5 kB	61.0 kB	[список файлів]