[ sid ]
Paket: gappa-dbgsym (1.4.1-1) [debports]
Länkar för gappa-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for gappa
Andra paket besläktade med gappa-dbgsym
|
|
|
|
-
- dep: gappa (= 1.4.1-1)
- Automatic generation of proofs of arithmetic properties
Hämta gappa-dbgsym
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| alpha (inofficiell anpassning) | 3.823,0 kbyte | 3.975,0 kbyte | [filförteckning] |
| hppa (inofficiell anpassning) | 3.672,3 kbyte | 3.814,0 kbyte | [filförteckning] |
| ia64 (inofficiell anpassning) | 4.141,2 kbyte | 4.298,0 kbyte | [filförteckning] |
| m68k (inofficiell anpassning) | 3.384,0 kbyte | 3.517,0 kbyte | [filförteckning] |
| ppc64 (inofficiell anpassning) | 3.776,7 kbyte | 3.944,0 kbyte | [filförteckning] |
| riscv64 (inofficiell anpassning) | 2.899,5 kbyte | 3.061,0 kbyte | [filförteckning] |
| sh4 (inofficiell anpassning) | 2.846,6 kbyte | 3.034,0 kbyte | [filförteckning] |
| sparc64 (inofficiell anpassning) | 3.666,6 kbyte | 3.825,0 kbyte | [filförteckning] |
| x32 (inofficiell anpassning) | 3.709,4 kbyte | 3.860,0 kbyte | [filförteckning] |