Пакет: libcoq-ocaml-dbgsym (8.12.0-3 и другие) [debports]

[ Источник:  ]

debug symbols for libcoq-ocaml

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

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

  runtime libraries for Coq

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

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

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	8.12.0-3+b3	32,8 Кб	49,0 Кб	[список файлов]
hppa (неофициальный перенос)	8.12.0-3+b3	39,9 Кб	56,0 Кб	[список файлов]
ia64 (неофициальный перенос)	8.12.0-3+b3	42,2 Кб	59,0 Кб	[список файлов]
sh4 (неофициальный перенос)	8.12.0-3+b3	32,3 Кб	48,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	8.12.0-3+b3	35,5 Кб	52,0 Кб	[список файлов]
x32 (неофициальный перенос)	8.12.0-3+b3	37,6 Кб	53,0 Кб	[список файлов]