Пакунок: coqprime-tools-dbgsym (8.17-1 and others) [debports]

[ Source:  ]

debug symbols for coqprime-tools

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

• dep: coqprime-tools (= 8.17-1+b1)

  Primality certification for Coq (tools)

Завантажити coqprime-tools-dbgsym

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
ppc64 (unofficial port)	8.17-1+b1	58.0 kB	96.0 kB	[список файлів]
riscv64 (unofficial port)	8.17-1+b1	57.0 kB	88.0 kB	[список файлів]