[ sid ]
Пакет: coqide-dbgsym (8.19.1+dfsg-2 и другие) [debports]
debug symbols for coqide
Другие пакеты, относящиеся к coqide-dbgsym
|
|
|
|
Загрузка coqide-dbgsym
Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
---|---|---|---|---|
ppc64 (неофициальный перенос) | 8.19.1+dfsg-2 | 626,1 Кб | 2 828,0 Кб | [список файлов] |
riscv64 (неофициальный перенос) | 8.17.0+dfsg-1+b2 | 641,2 Кб | 2 701,0 Кб | [список файлов] |