[ sid ]
Pakket: minisat+-dbgsym (1.0-5 en anderen) [debports]
Verwijzigingen voor minisat+-dbgsym
Debian bronnen:
Het bronpakket downloaden:
Niet gevondenBeheerders:
Vergelijkbare pakketten:
debug symbols for minisat+
Andere aan minisat+-dbgsym gerelateerde pakketten
|
|
|
|
minisat+-dbgsym downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| alpha (unofficial port) | 1.0-5 | 851,1 kB | 881,0 kB | [overzicht] |
| hppa (unofficial port) | 1.0-5 | 778,0 kB | 803,0 kB | [overzicht] |
| ia64 (unofficial port) | 1.0-4 | 690,6 kB | 740,0 kB | [overzicht] |
| loong64 (unofficial port) | 1.0-5 | 891,8 kB | 921,0 kB | [overzicht] |
| m68k (unofficial port) | 1.0-5 | 765,9 kB | 790,0 kB | [overzicht] |
| ppc64 (unofficial port) | 1.0-5 | 873,9 kB | 907,0 kB | [overzicht] |
| riscv64 (unofficial port) | 1.0-4+b1 | 894,2 kB | 927,0 kB | [overzicht] |
| sh4 (unofficial port) | 1.0-5 | 669,6 kB | 757,0 kB | [overzicht] |
| sparc64 (unofficial port) | 1.0-5 | 834,9 kB | 864,0 kB | [overzicht] |
| x32 (unofficial port) | 1.0-5 | 816,1 kB | 842,0 kB | [overzicht] |