Пакунок: coq-dbgsym (8.17.0+dfsg-1 and others) [debports]

[ Source:  ]

debug symbols for coq

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

• dep: coq (= 8.17.0+dfsg-1+b2)

  Інтерактивний програмний засіб доведення теорем для логіки вищого порядку (інтерактивне середовище і компілятор)

Завантажити coq-dbgsym

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

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
ppc64 (unofficial port)	8.17.0+dfsg-1+b2	8,064.9 kB	36,430.0 kB	[список файлів]
riscv64 (unofficial port)	8.17.0+dfsg-1+b2	8,984.3 kB	36,988.0 kB	[список файлів]