[ sid ]
Пакет: kissat-dbgsym (4.0.3-2) [debports]
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 Кб | [список файлов] |