[ sid ]
Paket: kissat-dbgsym (4.0.3-2) [debports]
Länkar för kissat-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for kissat
Andra paket besläktade med kissat-dbgsym
|
|
|
|
-
- dep: kissat (= 4.0.3-2)
- Keep it simple and clean bare metal SAT solver
Hämta kissat-dbgsym
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| alpha (inofficiell anpassning) | 1.526,1 kbyte | 3.090,0 kbyte | [filförteckning] |
| hppa (inofficiell anpassning) | 1.519,2 kbyte | 2.915,0 kbyte | [filförteckning] |
| loong64 (inofficiell anpassning) | 1.597,9 kbyte | 16.121,0 kbyte | [filförteckning] |
| m68k (inofficiell anpassning) | 1.447,2 kbyte | 2.857,0 kbyte | [filförteckning] |
| ppc64 (inofficiell anpassning) | 1.600,9 kbyte | 3.267,0 kbyte | [filförteckning] |
| sh4 (inofficiell anpassning) | 1.853,4 kbyte | 3.052,0 kbyte | [filförteckning] |
| sparc64 (inofficiell anpassning) | 1.534,7 kbyte | 3.060,0 kbyte | [filförteckning] |
| x32 (inofficiell anpassning) | 1.577,4 kbyte | 2.173,0 kbyte | [filförteckning] |