[ sid ]
Pakiet: frama-c-base-dbgsym (20220511-manganese-4 i inne) [debports]
Odnośniki dla frama-c-base-dbgsym
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Podobne pakiety:
debug symbols for frama-c-base
Inne pakiety związane z frama-c-base-dbgsym
|
|
|
|
-
- dep: frama-c-base (= 20220511-manganese-4+b2)
- Platform dedicated to the analysis of source code written in C
Pobieranie frama-c-base-dbgsym
Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|---|
riscv64 (port nieoficjalny) | 20220511-manganese-4+b2 | 4 695,5 KiB | 19 584,0 KiB | [lista plików] |