[ sid ]
Пакет: eprover-dbgsym (3.2.5+ds-1 и другие) [debports]
debug symbols for eprover
Другие пакеты, относящиеся к eprover-dbgsym
|
|
|
|
Загрузка eprover-dbgsym
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| alpha (неофициальный перенос) | 3.2.5+ds-1 | 138,1 Кб | 901,0 Кб | [список файлов] |
| hppa (неофициальный перенос) | 3.2.5+ds-1 | 136,3 Кб | 749,0 Кб | [список файлов] |
| ia64 (неофициальный перенос) | 3.0.03+ds-1 | 181,9 Кб | 1 224,0 Кб | [список файлов] |
| loong64 (неофициальный перенос) | 3.2.5+ds-1 | 140,4 Кб | 918,0 Кб | [список файлов] |
| m68k (неофициальный перенос) | 3.2.5+ds-1 | 134,6 Кб | 743,0 Кб | [список файлов] |
| ppc64 (неофициальный перенос) | 3.2.5+ds-1 | 121,7 Кб | 971,0 Кб | [список файлов] |
| riscv64 (неофициальный перенос) | 2.6+ds-3+b1 | 115,6 Кб | 774,0 Кб | [список файлов] |
| sh4 (неофициальный перенос) | 3.2.5+ds-1 | 139,2 Кб | 1 849,0 Кб | [список файлов] |
| sparc64 (неофициальный перенос) | 3.2.5+ds-1 | 136,1 Кб | 918,0 Кб | [список файлов] |
| x32 (неофициальный перенос) | 3.2.5+ds-1 | 131,4 Кб | 741,0 Кб | [список файлов] |