[ sid ]
Paket: drat-trim-dbgsym (0.0~git20240428.effa1dc-2) [debports]
Länkar för drat-trim-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for drat-trim
Andra paket besläktade med drat-trim-dbgsym
|
|
|
|
-
- dep: drat-trim (= 0.0~git20240428.effa1dc-2)
- DART-trim satisfiability proof checker (binary utils)
Hämta drat-trim-dbgsym
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| alpha (inofficiell anpassning) | 63,5 kbyte | 89,0 kbyte | [filförteckning] |
| hppa (inofficiell anpassning) | 61,9 kbyte | 85,0 kbyte | [filförteckning] |
| loong64 (inofficiell anpassning) | 65,6 kbyte | 92,0 kbyte | [filförteckning] |
| m68k (inofficiell anpassning) | 58,8 kbyte | 80,0 kbyte | [filförteckning] |
| ppc64 (inofficiell anpassning) | 65,2 kbyte | 93,0 kbyte | [filförteckning] |
| sh4 (inofficiell anpassning) | 61,1 kbyte | 210,0 kbyte | [filförteckning] |
| sparc64 (inofficiell anpassning) | 61,7 kbyte | 88,0 kbyte | [filförteckning] |
| x32 (inofficiell anpassning) | 63,4 kbyte | 84,0 kbyte | [filförteckning] |