[ sid ]
Pakket: drat-trim-dbgsym (0.0~git20240428.effa1dc-2) [debports]
Verwijzigingen voor drat-trim-dbgsym
Debian bronnen:
Het bronpakket downloaden:
Niet gevondenBeheerders:
Vergelijkbare pakketten:
debug symbols for drat-trim
Andere aan drat-trim-dbgsym gerelateerde pakketten
|
|
|
|
-
- dep: drat-trim (= 0.0~git20240428.effa1dc-2)
- DART-trim satisfiability proof checker (binary utils)
drat-trim-dbgsym downloaden
| Platform | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|
| alpha (unofficial port) | 63,5 kB | 89,0 kB | [overzicht] |
| hppa (unofficial port) | 61,9 kB | 85,0 kB | [overzicht] |
| loong64 (unofficial port) | 65,6 kB | 92,0 kB | [overzicht] |
| m68k (unofficial port) | 58,8 kB | 80,0 kB | [overzicht] |
| ppc64 (unofficial port) | 65,2 kB | 93,0 kB | [overzicht] |
| sh4 (unofficial port) | 61,1 kB | 210,0 kB | [overzicht] |
| sparc64 (unofficial port) | 61,7 kB | 88,0 kB | [overzicht] |
| x32 (unofficial port) | 63,4 kB | 84,0 kB | [overzicht] |