[ sid ]
Пакет: kissat-dbgsym (4.0.3-2) [debports]
Връзки за kissat-dbgsym
Ресурси за Debian:
Изтегляне на пакет-източник .
Няма съвпаденияОтговорници:
Подобни пакети:
debug symbols for kissat
Други пакети, свързани с kissat-dbgsym
|
|
|
|
-
- dep: kissat (= 4.0.3-2)
- Keep it simple and clean bare metal SAT solver
Изтегляне на kissat-dbgsym
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| alpha (неофициална архитектура) | 1 526,1 кБ | 3 090,0 кБ | [списък на файловете] |
| hppa (неофициална архитектура) | 1 519,2 кБ | 2 915,0 кБ | [списък на файловете] |
| loong64 (неофициална архитектура) | 1 597,9 кБ | 16 121,0 кБ | [списък на файловете] |
| m68k (неофициална архитектура) | 1 447,2 кБ | 2 857,0 кБ | [списък на файловете] |
| ppc64 (неофициална архитектура) | 1 600,9 кБ | 3 267,0 кБ | [списък на файловете] |
| sh4 (неофициална архитектура) | 1 853,4 кБ | 3 052,0 кБ | [списък на файловете] |
| sparc64 (неофициална архитектура) | 1 534,7 кБ | 3 060,0 кБ | [списък на файловете] |
| x32 (неофициална архитектура) | 1 577,4 кБ | 2 173,0 кБ | [списък на файловете] |