[ sid ]
Paket: gappa-dbgsym (1.4.1-1) [debports]
Links für gappa-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for gappa
Andere Pakete mit Bezug zu gappa-dbgsym
|
|
|
|
-
- dep: gappa (= 1.4.1-1)
- Automatic generation of proofs of arithmetic properties
gappa-dbgsym herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
alpha (inoffizielle Portierung) | 3.823,0 kB | 3.975,0 kB | [Liste der Dateien] |
hppa (inoffizielle Portierung) | 3.672,3 kB | 3.814,0 kB | [Liste der Dateien] |
ia64 (inoffizielle Portierung) | 4.141,2 kB | 4.298,0 kB | [Liste der Dateien] |
m68k (inoffizielle Portierung) | 3.384,0 kB | 3.517,0 kB | [Liste der Dateien] |
ppc64 (inoffizielle Portierung) | 3.776,7 kB | 3.944,0 kB | [Liste der Dateien] |
riscv64 (inoffizielle Portierung) | 2.899,5 kB | 3.061,0 kB | [Liste der Dateien] |
sh4 (inoffizielle Portierung) | 2.846,6 kB | 3.034,0 kB | [Liste der Dateien] |
sparc64 (inoffizielle Portierung) | 3.666,6 kB | 3.825,0 kB | [Liste der Dateien] |
x32 (inoffizielle Portierung) | 3.709,4 kB | 3.860,0 kB | [Liste der Dateien] |