[ sid ]
Pakket: cbmc-dbgsym (6.6.0-4 en anderen) [debports]
Verwijzigingen voor cbmc-dbgsym
Debian bronnen:
Het bronpakket downloaden:
Niet gevondenBeheerders:
Vergelijkbare pakketten:
debug symbols for cbmc
Andere aan cbmc-dbgsym gerelateerde pakketten
|
|
|
|
cbmc-dbgsym downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| alpha (unofficial port) | 6.6.0-4 | 619.268,7 kB | 719.804,0 kB | [overzicht] |
| hppa (unofficial port) | 6.6.0-4 | 491.254,1 kB | 568.840,0 kB | [overzicht] |
| ia64 (unofficial port) | 5.95.1-4 | 535.843,4 kB | 543.834,0 kB | [overzicht] |
| loong64 (unofficial port) | 6.6.0-4 | 594.876,0 kB | 677.402,0 kB | [overzicht] |
| m68k (unofficial port) | 6.6.0-4 | 427.183,8 kB | 511.615,0 kB | [overzicht] |
| ppc64 (unofficial port) | 6.6.0-4 | 502.659,5 kB | 603.190,0 kB | [overzicht] |
| riscv64 (unofficial port) | 5.84.0-11 | 423.973,2 kB | 433.127,0 kB | [overzicht] |
| sh4 (unofficial port) | 6.6.0-4 | 351.586,6 kB | 433.673,0 kB | [overzicht] |
| sparc64 (unofficial port) | 6.6.0-4 | 591.883,1 kB | 673.208,0 kB | [overzicht] |
| x32 (unofficial port) | 6.6.0-4 | 614.633,5 kB | 643.482,0 kB | [overzicht] |