Пакет: libcoq-dpdgraph-dbgsym (1.0+8.19-1) [debports]

[ Источник:  ]

debug symbols for libcoq-dpdgraph

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

• dep: libcoq-dpdgraph (= 1.0+8.19-1)

  Coq plugin to extract dependencies between Coq objects

Загрузка libcoq-dpdgraph-dbgsym

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
ppc64 (неофициальный перенос)	5,1 Кб	32,0 Кб	[список файлов]