[ 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 |
---|---|---|---|
hppa (port nieoficjalny) | 3 672,3 KiB | 3 814,0 KiB | [lista plików] |