[ sid ]
Пакет: cbmc-dbgsym (6.6.0-4 и другие) [debports]
debug symbols for cbmc
Другие пакеты, относящиеся к cbmc-dbgsym
|
|
|
|
Загрузка cbmc-dbgsym
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| alpha (неофициальный перенос) | 6.6.0-4 | 619 268,7 Кб | 719 804,0 Кб | [список файлов] |
| hppa (неофициальный перенос) | 6.6.0-4 | 491 254,1 Кб | 568 840,0 Кб | [список файлов] |
| ia64 (неофициальный перенос) | 5.95.1-4 | 535 843,4 Кб | 543 834,0 Кб | [список файлов] |
| loong64 (неофициальный перенос) | 6.6.0-4 | 594 876,0 Кб | 677 402,0 Кб | [список файлов] |
| m68k (неофициальный перенос) | 6.6.0-4 | 427 183,8 Кб | 511 615,0 Кб | [список файлов] |
| ppc64 (неофициальный перенос) | 6.6.0-4 | 502 659,5 Кб | 603 190,0 Кб | [список файлов] |
| riscv64 (неофициальный перенос) | 5.84.0-11 | 423 973,2 Кб | 433 127,0 Кб | [список файлов] |
| sh4 (неофициальный перенос) | 6.6.0-4 | 351 586,6 Кб | 433 673,0 Кб | [список файлов] |
| sparc64 (неофициальный перенос) | 6.6.0-4 | 591 883,1 Кб | 673 208,0 Кб | [список файлов] |
| x32 (неофициальный перенос) | 6.6.0-4 | 614 633,5 Кб | 643 482,0 Кб | [список файлов] |