[ sid ]
Paket: cbmc-dbgsym (6.6.0-4 und andere) [debports]
Links für cbmc-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for cbmc
Andere Pakete mit Bezug zu cbmc-dbgsym
|
|
|
|
cbmc-dbgsym herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| alpha (inoffizielle Portierung) | 6.6.0-4 | 619.268,7 kB | 719.804,0 kB | [Liste der Dateien] |
| hppa (inoffizielle Portierung) | 6.6.0-4 | 491.254,1 kB | 568.840,0 kB | [Liste der Dateien] |
| ia64 (inoffizielle Portierung) | 5.95.1-4 | 535.843,4 kB | 543.834,0 kB | [Liste der Dateien] |
| loong64 (inoffizielle Portierung) | 6.6.0-4 | 594.876,0 kB | 677.402,0 kB | [Liste der Dateien] |
| m68k (inoffizielle Portierung) | 6.6.0-4 | 427.183,8 kB | 511.615,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 6.6.0-4 | 502.659,5 kB | 603.190,0 kB | [Liste der Dateien] |
| riscv64 (inoffizielle Portierung) | 5.84.0-11 | 423.973,2 kB | 433.127,0 kB | [Liste der Dateien] |
| sh4 (inoffizielle Portierung) | 6.6.0-4 | 351.586,6 kB | 433.673,0 kB | [Liste der Dateien] |
| sparc64 (inoffizielle Portierung) | 6.6.0-4 | 591.883,1 kB | 673.208,0 kB | [Liste der Dateien] |
| x32 (inoffizielle Portierung) | 6.6.0-4 | 614.633,5 kB | 643.482,0 kB | [Liste der Dateien] |