wszystkie opcje
sid  ]
[ Pakiet źródłowy:  ]

Pakiet: cbmc-dbgsym (6.6.0-4 i inne) [debports]

Odnośniki dla cbmc-dbgsym

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Podobne pakiety:

debug symbols for cbmc

Inne pakiety związane z cbmc-dbgsym

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie cbmc-dbgsym

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 6.6.0-4 619 268,7 KiB719 804,0 KiB [lista plików]
hppa (port nieoficjalny) 6.6.0-4 491 254,1 KiB568 840,0 KiB [lista plików]
ia64 (port nieoficjalny) 5.95.1-4 535 843,4 KiB543 834,0 KiB [lista plików]
loong64 (port nieoficjalny) 6.6.0-4 594 876,0 KiB677 402,0 KiB [lista plików]
m68k (port nieoficjalny) 6.6.0-4 427 183,8 KiB511 615,0 KiB [lista plików]
ppc64 (port nieoficjalny) 6.6.0-4 502 659,5 KiB603 190,0 KiB [lista plików]
riscv64 (port nieoficjalny) 5.84.0-11 423 973,2 KiB433 127,0 KiB [lista plików]
sh4 (port nieoficjalny) 6.6.0-4 351 586,6 KiB433 673,0 KiB [lista plików]
sparc64 (port nieoficjalny) 6.6.0-4 591 883,1 KiB673 208,0 KiB [lista plików]
x32 (port nieoficjalny) 6.6.0-4 614 633,5 KiB643 482,0 KiB [lista plików]