[ sid ]
Balík: kissat-dbgsym (4.0.3-2) [debports]
Odkazy pre kissat-dbgsym
Zdroje Debian:
Stiahnuť zdrojový balík :
NenájdenýSprávcovia:
Podobné balíky:
debug symbols for kissat
Ostatné balíky súvisiace s balíkom kissat-dbgsym
|
|
|
|
-
- dep: kissat (= 4.0.3-2)
- Keep it simple and clean bare metal SAT solver
Stiahnuť kissat-dbgsym
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| alpha (neoficiálny port) | 1,526.1 kB | 3,090.0 kB | [zoznam súborov] |
| hppa (neoficiálny port) | 1,519.2 kB | 2,915.0 kB | [zoznam súborov] |
| loong64 (neoficiálny port) | 1,597.9 kB | 16,121.0 kB | [zoznam súborov] |
| m68k (neoficiálny port) | 1,447.2 kB | 2,857.0 kB | [zoznam súborov] |
| ppc64 (neoficiálny port) | 1,600.9 kB | 3,267.0 kB | [zoznam súborov] |
| sh4 (neoficiálny port) | 1,853.4 kB | 3,052.0 kB | [zoznam súborov] |
| sparc64 (neoficiálny port) | 1,534.7 kB | 3,060.0 kB | [zoznam súborov] |
| x32 (neoficiálny port) | 1,577.4 kB | 2,173.0 kB | [zoznam súborov] |