[ sid ]
Pakiet: gappa-dbgsym (1.4.1-1) [debports]
Odnośniki dla gappa-dbgsym
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Podobne pakiety:
debug symbols for gappa
Inne pakiety związane z gappa-dbgsym
|
|
|
|
-
- dep: gappa (= 1.4.1-1)
- Automatic generation of proofs of arithmetic properties
Pobieranie gappa-dbgsym
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| alpha (port nieoficjalny) | 3 823,0 KiB | 3 975,0 KiB | [lista plików] |
| hppa (port nieoficjalny) | 3 672,3 KiB | 3 814,0 KiB | [lista plików] |
| ia64 (port nieoficjalny) | 4 141,2 KiB | 4 298,0 KiB | [lista plików] |
| m68k (port nieoficjalny) | 3 384,0 KiB | 3 517,0 KiB | [lista plików] |
| ppc64 (port nieoficjalny) | 3 776,7 KiB | 3 944,0 KiB | [lista plików] |
| riscv64 (port nieoficjalny) | 2 899,5 KiB | 3 061,0 KiB | [lista plików] |
| sh4 (port nieoficjalny) | 2 846,6 KiB | 3 034,0 KiB | [lista plików] |
| sparc64 (port nieoficjalny) | 3 666,6 KiB | 3 825,0 KiB | [lista plików] |
| x32 (port nieoficjalny) | 3 709,4 KiB | 3 860,0 KiB | [lista plików] |