[ sid ]
Paket: eprover-dbgsym (3.2.5+ds-1 und andere) [debports]
Links für eprover-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for eprover
Andere Pakete mit Bezug zu eprover-dbgsym
|
|
|
|
eprover-dbgsym herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| alpha (inoffizielle Portierung) | 3.2.5+ds-1 | 138,1 kB | 901,0 kB | [Liste der Dateien] |
| hppa (inoffizielle Portierung) | 3.2.5+ds-1 | 136,3 kB | 749,0 kB | [Liste der Dateien] |
| ia64 (inoffizielle Portierung) | 3.0.03+ds-1 | 181,9 kB | 1.224,0 kB | [Liste der Dateien] |
| loong64 (inoffizielle Portierung) | 3.2.5+ds-1 | 140,4 kB | 918,0 kB | [Liste der Dateien] |
| m68k (inoffizielle Portierung) | 3.2.5+ds-1 | 134,6 kB | 743,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 3.2.5+ds-1 | 121,7 kB | 971,0 kB | [Liste der Dateien] |
| riscv64 (inoffizielle Portierung) | 2.6+ds-3+b1 | 115,6 kB | 774,0 kB | [Liste der Dateien] |
| sh4 (inoffizielle Portierung) | 3.2.5+ds-1 | 139,2 kB | 1.849,0 kB | [Liste der Dateien] |
| sparc64 (inoffizielle Portierung) | 3.2.5+ds-1 | 136,1 kB | 918,0 kB | [Liste der Dateien] |
| x32 (inoffizielle Portierung) | 3.2.5+ds-1 | 131,4 kB | 741,0 kB | [Liste der Dateien] |