[ sid ]
Pakket: eprover-dbgsym (3.2.5+ds-1 en anderen) [debports]
Verwijzigingen voor eprover-dbgsym
Debian bronnen:
Het bronpakket downloaden:
Niet gevondenBeheerders:
Vergelijkbare pakketten:
debug symbols for eprover
Andere aan eprover-dbgsym gerelateerde pakketten
|
|
|
|
eprover-dbgsym downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| alpha (unofficial port) | 3.2.5+ds-1 | 138,1 kB | 901,0 kB | [overzicht] |
| hppa (unofficial port) | 3.2.5+ds-1 | 136,3 kB | 749,0 kB | [overzicht] |
| ia64 (unofficial port) | 3.0.03+ds-1 | 181,9 kB | 1.224,0 kB | [overzicht] |
| loong64 (unofficial port) | 3.2.5+ds-1 | 140,4 kB | 918,0 kB | [overzicht] |
| m68k (unofficial port) | 3.2.5+ds-1 | 134,6 kB | 743,0 kB | [overzicht] |
| ppc64 (unofficial port) | 3.2.5+ds-1 | 121,7 kB | 971,0 kB | [overzicht] |
| riscv64 (unofficial port) | 2.6+ds-3+b1 | 115,6 kB | 774,0 kB | [overzicht] |
| sh4 (unofficial port) | 3.2.5+ds-1 | 139,2 kB | 1.849,0 kB | [overzicht] |
| sparc64 (unofficial port) | 3.2.5+ds-1 | 136,1 kB | 918,0 kB | [overzicht] |
| x32 (unofficial port) | 3.2.5+ds-1 | 131,4 kB | 741,0 kB | [overzicht] |