[ sid ]
Package: kissat-dbgsym (4.0.3-2) [debports]
Links for kissat-dbgsym
Debian Resources:
Download Source Package :
Not foundMaintainers:
Similar packages:
debug symbols for kissat
Other Packages Related to kissat-dbgsym
|
|
|
|
-
- dep: kissat (= 4.0.3-2)
- Keep it simple and clean bare metal SAT solver
Download kissat-dbgsym
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| alpha (unofficial port) | 1,526.1 kB | 3,090.0 kB | [list of files] |
| hppa (unofficial port) | 1,519.2 kB | 2,915.0 kB | [list of files] |
| loong64 (unofficial port) | 1,597.9 kB | 16,121.0 kB | [list of files] |
| m68k (unofficial port) | 1,447.2 kB | 2,857.0 kB | [list of files] |
| ppc64 (unofficial port) | 1,600.9 kB | 3,267.0 kB | [list of files] |
| sh4 (unofficial port) | 1,853.4 kB | 3,052.0 kB | [list of files] |
| sparc64 (unofficial port) | 1,534.7 kB | 3,060.0 kB | [list of files] |
| x32 (unofficial port) | 1,577.4 kB | 2,173.0 kB | [list of files] |