[ 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] |